translated by Boris Détraz