Ce dernier module contient des prédicats inclassables ailleurs. Ils sont décrits dans le rapport de stage.
