Ajout de tests pour les modeles de prototype. Incomplet : reste a ajouter les verifications (assert()).