Delete corrigeType.sh