Correction de quelques erreurs de typage