Mathematiques au college la demonstration en 5º et 4º (CRDP, 1997)