Abréviations

HR : hypothèse de Récurrence