Partie ésotérique du cours

propriété S
H-calculable