Robin-enseignement intégral

https://jguillaume.hypotheses.org/582/robin-enseignement-integral