optimisation du web.xml