Simple test pour enquêter sur le mystère de #4275 (closed) : en revertant !678 (merged), a-t-on la même chose ?