Arthur Grisel-Davy 17527217ae light modification of text		2022-10-12 16:42:20 -04:00
..
first_formalization_presentation	light modification of text	2022-10-12 16:42:20 -04:00