(document via Michel Salmon.)