Parents

Famille

Occupations

  • capitaine de vaisseau

Distinctions

  • officier de l'ordre de la Légion d'honneur
  • commandeur de l'ordre national du Mérite
  • croix de guerre 1939-1945