Journal de Bourbaki N°8 ;  16/02/1937. , deljb009, accès le 27/01/2023, http://archives-bourbaki.ahp-numerique.fr/items/show/72