"conteneur de servlets Java Servlet" ya pas un "servlet" de trop ?