Modifier le type d’une variable

Author:
<?php

  $inconnu = 2011;
  echo gettype ($inconnu) . "<br />";

  if (is_int ($inconnu)){
   $inco