Correction des dernières erreurs + implémentation complète de la
dérivation.