Enregistrement des ordinateurs personnels"; if (($role == "prof" ) or ($role =="admin")) { $parc = "portables_profs"; } else { $parc = "portables_eleves"; } $fixer=$_POST['fixer']; $selected_ip=$_POST['selected_ip']; $selected_del=$_POST['selected_del']; $selected_update=$_POST['selected_update']; $new_name=$_POST['new_name']; //echo "
"; echo "