{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups\" title=\"Intuitionistic inductive definitions (Mark van Atten)\" src=\"https://videos.ahp-numerique.fr/videos/embed/be5a99a8-b115-48b2-b6f9-f8768e29ddc9\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"Intuitionistic inductive definitions (Mark van Atten)","author_name":"Colloques et journées d'études des AHP","author_url":"https://videos.ahp-numerique.fr/video-channels/colloques","provider_name":"PeerTube","provider_url":"https://videos.ahp-numerique.fr","thumbnail_url":"https://videos.ahp-numerique.fr/lazy-static/previews/3525e41b-87fe-48b1-bc6f-d65e0c774462.jpg","thumbnail_width":850,"thumbnail_height":480}