{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"C. Hache et Z. Mesnil - Outils logiques pour analyser les formulations des preuves dans des manuels de lycée\" src=\"https://video.irem.univ-paris-diderot.fr/videos/embed/mJQbTr2A7G9UHBnPcYhneE\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"C. Hache et Z. Mesnil - Outils logiques pour analyser les formulations des preuves dans des manuels de lycée","author_name":"Séminaire de didactique des mathématiques ARDM","author_url":"https://video.irem.univ-paris-diderot.fr/video-channels/seminaire_national","provider_name":"PeerTube","provider_url":"https://video.irem.univ-paris-diderot.fr","thumbnail_url":"https://video.irem.univ-paris-diderot.fr/lazy-static/previews/a7f1b550-f66b-4c3b-a084-98a568c9422c.jpg","thumbnail_width":850,"thumbnail_height":480}