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