examples from RVR-Travaux