GPL, GNL et GNV : quelles sont les différences ?