Javadoc relative au nouvel attribut ArrayList<User> users de la classe ManagementSystem.