Misère et grandeur, élévations — Jean Devroye