Occupations
Distinctions
- commandeur de l'ordre de la Légion d'honneur (1944)
- ordre de la Libération (1944)
- croix de guerre 1914-1918
- croix de guerre 1939-1945
- croix de guerre des théâtres d'opérations extérieurs
- croix des services militaires volontaires
- médaille coloniale puis d'Outre-Mer
- legion of Merit
- chevalier de l'ordre de l'Étoile Noire du Dahomey
- ordre du Ouissam alaouite