Hommage à l’amiral Émile Chaline, décédé le 15 mai 2020