Ah ! An old project was somehow merged with this one. Oh well *deletes*
Merge branch 'develop' of https://github.com/Ephys/PlayerProxies.git into develop