First tentative for Section 3.4. Comments are welcome.