85 J 9 - Légion d'honneur : Chevalier, croix de guerre avec palme par décret du 21 novembre 1944 ; Officier, par décret du 18 juillet 1946 ; Commandeur, par décret du 13 novembre 1950 ; Grand officier, par décret du 18 janvier 1956 : décisions, correspondance. - 1944-1956