Quelle est la différence entre un développeur, un éditeur et un distributeur ?