PHProof 4.0.0

Fichiers de la librairie, mais également des classes d'exemples dans le
dossiers Extensions, un script SQL et un fichier PHP pour tester la
solution par vos propres soins (documentation à venir).