PHP: validare un numero intero