Problème ctype_digit qui ne marche pas sur des variables qui sont déjà des entiers