{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"15-FR.Modélisation formelle avec la logique des prédicats\" src=\"https://classe.iro.umontreal.ca/videos/embed/9id97xGhisdfYjXDz1uCbc\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"15-FR.Modélisation formelle avec la logique des prédicats","author_name":"IFT6755 Analyse du logiciel","author_url":"https://classe.iro.umontreal.ca/video-channels/ift6755","provider_name":"PeerTube","provider_url":"https://classe.iro.umontreal.ca","thumbnail_url":"https://classe.iro.umontreal.ca/lazy-static/thumbnails/9b334e96-4383-4557-9f43-843db390fd4a.jpg","thumbnail_width":1280,"thumbnail_height":720}