Delete Type.php~

fichier inutile