Per la precisione, il Pinus pinea è il pino domestico (che fa i pinoli), mentre il Pinus pinaster è il pino marittimo (che fa grandi pigne allungate ma semi piccoli e alati).
Io non mi sento di escludere nulla, perchè il portamento "ad ombrello" è tipico i molti pini, anche se sarei propenso per il pino domestico, che è quello più usato nelle città, almeno al nord.
Occorrerebbero particolari degli aghi e delle "pigne"....