DerivationException + main fichiers