Mentions légales du service
number and names of hypotheses. The hypotheses that are conjunctions or exists are also named accordingly