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