deletions | additions       diff --git a/methods.md b/methods.md  index a6cfb0b..7bd609d 100644  --- a/methods.md  +++ b/methods.md 
...
Par ailleurs, la gestion des hypothèses requiert que les seuls axiomes (TBox) et assertions (ABox) inclus dans une ontologie de type PSO-x soit des axiomes et assertions valables sous les hypothèses correspondantes. Par conséquent, des modules sont nécessaires.