Prix du GPL : combien coûte un litre ?