Translated from the French.