Formalisation: reformulation autour du libre

Le terme de "caché" ne s'oppose pas au libre. On peut être public, open source, mais propriétaire. C'est le cas de Bâle dont les accords sont publics, mais sur lesquels ils manque de contrôle démocratique.