function json2array($fichier)
{
   $cnt = file_get_contents($fichier);
   return(json_decode($cnt,true));
}