Un document tagué avec "Export"

L'interface de relecture permet d'accéder aux enregistrements stockés et d'extraire des séquences de preuve.