4 Commits

Include renames

Author	SHA1	Message	Date
theking90000	bc02b5e336	TP8: EtudProf	2024-11-27 18:33:48 +01:00
theking90000	a7adcbfd9f	TP8: Coq	2024-11-27 11:20:56 +01:00
theking90000	cad0849e75	typo	2024-11-26 20:40:23 +01:00
theking90000	29bbe37f35	TP8: bieres	2024-11-26 20:28:03 +01:00