// colonne gauche
echo debut_gauche('', true);
echo cadre_champs_extras_infos();
echo pipeline('affiche_gauche', array('args'=>array('exec'=>'iextras'),'data'=>''));