de toute façon master reflète develop à un instant T donc si ça passe develop master est forcément bon (et on mange 2 fois moins de ressources chez travis-ci.org)