ça s'enseigne et pas qu'un peu >_<
c'est pour nous apprendre à rédiger des prédicats en algorithmie... implanter une division en B par exemple x_x