Techniques de compilation — Hervé Gallaire