Hommage national à l’amiral Philippe de Gaulle.