Propagated Webots 7.2.4 modifications (Olivier)