Une tondeuse à gazon a battu un record, mais le quel ?