/**
   * Processes requests for both HTTP <code>GET</code> and <code>POST</code> methods.
   *
   * @param request servlet request
   * @param response servlet response
   * @throws ServletException if a servlet-specific error occurs
   * @throws IOException if an I/O error occurs
   */
  protected void processRequest(HttpServletRequest request, HttpServletResponse response)
      throws ServletException, IOException {

    User utilisateur =
        new User(
            request.getParameter("nom"),
            request.getParameter("prenom"),
            request.getParameter("mdp"));
    String cheminComplet = this.getServletContext().getRealPath("/WEB-INF/users.properties");

    if (utilisateur.comparaison(cheminComplet) == true) {
      request.setAttribute("utilisateur", utilisateur);
      RequestDispatcher disp = getServletContext().getRequestDispatcher("/bonjour.jsp");
      disp.forward(request, response);
    } else {
      response.setContentType("text/html;charset=UTF-8");
      try (PrintWriter out = response.getWriter()) {
        out.println("<!DOCTYPE html>");
        out.println("<html>");
        out.println("<head>");
        out.println("<title>Servlet controlleur</title>");
        out.println("</head>");
        out.println("<body>");
        out.println("<h1> NON </h1>");
        out.println("<h1>Servlet controlleur at " + request.getContextPath() + "</h1>");
        out.println("<h1>nom html " + request.getParameter("nom") + "</h1>");
        out.println("<h1>prenom html" + request.getParameter("prenom") + "</h1>");
        out.println("<h1>mdp html " + request.getParameter("mdp") + "</h1>");
        out.println("<h1>nom " + utilisateur.getNom() + "</h1>");
        out.println("<h1>prenom " + utilisateur.getPrenom() + "</h1>");
        out.println("<h1>mdp " + utilisateur.getMdp() + "</h1>");
        out.println("</body>");
        out.println("</html>");
      }
    }
  }