Occupations
Distinctions
- commandeur de l'ordre national du Mérite
- croix de guerre 1939-1945
- commandeur de l'ordre de la Légion d'honneur
- silver star
- society of the Cincinnati
- croix de guerre des théâtres d'opérations extérieurs
- croix de la Valeur militaire