Bonne fête aux "Marine" ! Toutes les Marine ? Le 20 juillet, c'est mon anniversaire. Aucune importance ici. Le 20 juillet c'est aussi et surtout le jour ou on honore les "Marine" ("sainte" Marine aurait été martyre au IIIe siècle). Toutes les "Marine" ?  sans doute pas ! Surtout pas celle du...