Merge pull request #242 from fabienrohrer/master

Propagated Webots 7.2.4 modifications (Olivier)