Nous construisons une infrastructure explicite et testable pour les journaux opérationnels structurés.