function showUserListAll()
{
    if ($_SESSION['user_type'] == 'Administrateur') {
        $list = fetchAllUser();
    } else {
        if ($_SESSION['user_type'] == 'Conseiller pédagogique') {
            $list = fetchAllPlanners("Élaborateur");
        }
    }
    echo "<select class='field' name='user_list_all'>";
    if (sizeof($list) > 0) {
        foreach ($list as $row) {
            echo "<option value=\"" . $row['NoUtilisateur'] . "\">" . $row['Prenom'] . " " . $row['Nom'] . "</option>";
        }
    } else {
        echo "<option>" . "Aucun utilisateur" . "</option>";
    }
    echo "</select>";
}
function getListAllUser($all_user = true)
{
    return fetchAllUser();
}