Joint work with J.-R. Abrial and D. Méry