Variable "session" créée dans les servlets