La Marine française, de la Royale de Richelieu aux missions d'aujourd'hui