Bah, c'est juste une application de l'opérateur ##.