Correction d'une erreur dans copy() et d'une erreur de copie-colle dans
derive de div
Ajout des fichiers de tests