Gaspard Jankowiak da0b125f21 [de] pdg -> pde		2022-10-24 09:45:08 +02:00
..
DG3.markdown	[de] + polys	2022-10-20 14:20:01 +02:00
PDE2.markdown	[de] pdg -> pde	2022-10-24 09:45:08 +02:00