deletions | additions       diff --git a/methods.md b/methods.md  index 7a4a89f..794857c 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.