Renommage du servlet dans web.xml