@jc L’existence du dépôt non-free (et contrib aussi, me semble-t-il).