Bibliographie de Patrick Dehornoy - Dunod