Nantes Université
Insert preconditions on every public method in order to have "more control" on inputs