Translation from the French.