C'est 100% faux, il n'y a absolument _AUCUN_ besoin de pouvoir redistribuer et modifier pour cela.
Mis à part les systèmes prouvés, qui prennent un temps fou pour compiler, nécessitent plusieurs chercheurs pour faire marcher le bousin et un modèle du code convenable (pour prouver que le binaire correspond bien aux sources), la façon empirique (mais qui marche bien) de s'assurer qu'un logiciel fait ce qu'on lui demande mais pas plus reste quand même la possibilité de pouvoir le modifier et le recompiler (notamment avec son propre compilateur).
En effet, pas besoin de pouvoir le redistribuer à des tiers. Seulement pouvoir le modifier est indispensable.
[^] # Re: regle ou exception
Posté par khivapia . En réponse à la dépêche Les formations diplômantes en logiciel libre en 2011. Évalué à 4.
Mis à part les systèmes prouvés, qui prennent un temps fou pour compiler, nécessitent plusieurs chercheurs pour faire marcher le bousin et un modèle du code convenable (pour prouver que le binaire correspond bien aux sources), la façon empirique (mais qui marche bien) de s'assurer qu'un logiciel fait ce qu'on lui demande mais pas plus reste quand même la possibilité de pouvoir le modifier et le recompiler (notamment avec son propre compilateur).
En effet, pas besoin de pouvoir le redistribuer à des tiers. Seulement pouvoir le modifier est indispensable.