Mise à jour du web.xml (servlets)
web.xml (suite)