<?php
list($usec, $sec) = explode(" ", microtime());
$debut_ex = (float)$usec + (float)$sec;
?>

<!doctype html>
<html>

<head>
    <meta charset="utf-8">
    <link rel="stylesheet" type="text/css" href="style.css">
    <title>Panel de Rosières-en-Haye</title>
    <script type="text/javascript" src="js/jquery.min.js"></script>
    <link rel="stylesheet" type="text/css" href="bootstrap/css/bootstrap.min.css">

    <?php
    require('mysql.php');
    ?>
</head>

<body>
    <div class="navbar">
        <div class="container">
            <!-- LOGO -->
            <div style="float:left"><img src="banniere_reh.png" width="600" height="200" alt="" /></div>
            <!-- FIN LOGO -->

            <!-- MENU -->
            <div class="d-flex">
                <div>
                    <?php if (@$infos_user) {
                        echo 'Bonjour ' . strtoupper($infos_user['prenom'] . ' ' . $infos_user['nom']); ?><br />
                        (<?php echo strtolower($infos_user['pseudo']); ?>)<br />
                        <a href="connexion.php?action=logout">Se déconnecter</a><br /><br />
                        <a href="index.php">Menu</a><br />
                        <a href="alertes.php"><?php echo $result_nb_alertes; ?> Alertes</a><br />
                        <a href="membres.php">Membres</a>
                    <?php
                    } else echo 'Bonjour à vous!<br/><br/><a href="connexion.php">Se connecter</a>'; ?>
                </div>
            </div>
        </div>
        <!-- FIN MENU -->
    </div>
    <hr>
    <div class="container">
        <!-- CORPS -->
        <div>