Réunion bourbachique du 06/07/1936. , deljb006, accès le 7/07/2022, http://archives-bourbaki.ahp-numerique.fr/items/show/69