Mise à jour des fichiers de test
Ajout de l'option --type-only dans le compilateur et le script de test
Localisation des erreurs de typage et ajout des arguments