[submodule "src/proposition"]
	path 		= src/proposition
	url 		= /home/david/u/edr/redac/proposition/
	branch	= main
[submodule "src/jaillant-2022"]
	path = src/jaillant-2022
	url = /home/david/u/edr/redac/jaillant-2022/
	branch	= main