Modularité et compilation séparée — Michel Loyer