Passage en licence GPL v3
Merge branch 'master' of https://github.com/Prelude/pp3diso.git