Je TRIM, tu TRIM, il TRIM
On ne sait jamais si le premier n’a pas fonctionné. un TRIM averti en vaut deux.
if (isset($_GET['id_coll'])) $id_coll = trim($_GET['id_coll']);
else $id_coll = '';
if (trim($id_coll)!='' && is_numeric($id_coll))
{
......
}