Décès du capitaine de vaisseau Étienne Schlumberger, Compagnon de la Libération