Journée d’hommage à Robert Halleux

https://crcv.hypotheses.org/13273