Occupations
Distinctions
- grand-croix de l'ordre de la Légion d'honneur (1945)
- ordre de la Libération (1944)
- médaille militaire (1946)
- croix de guerre 1914-1918
- croix de guerre 1939-1945
- croix de guerre des théâtres d'opérations extérieurs
- médaille coloniale puis d'Outre-Mer
- military cross
- legion of Merit
- grand officier de l'ordre de Léopold
- croix de guerre 1914-1918 belge
- ordre du Ouissam alaouite