Preuve déductive de programmes réactifs en SaIL - DΘctΩrant·Σs - Radio Campus Orléans 88.3 FM

Preuve déductive de programmes réactifs en SaIL – DΘctΩrant·Σs

Par Térence CLASTRES

Radio Campus Orléans 88.3 FM

Copiez-collez cette URL dans votre site WordPress pour l’inclure

<blockquote class="wp-embedded-content" data-secret="p8IBV4Lbdc"><a href="https://orleans.radiocampus.org/actualite-emission/doctorant-es-terence-clastres/">Preuve déductive de programmes réactifs en SaIL &#8211; DΘctΩrant·Σs</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://orleans.radiocampus.org/actualite-emission/doctorant-es-terence-clastres/embed/#?secret=p8IBV4Lbdc" width="600" height="400" title="« Preuve déductive de programmes réactifs en SaIL &#8211; DΘctΩrant·Σs » &#8212; Radio Campus Orléans 88.3 FM" data-secret="p8IBV4Lbdc" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script>
/*! This file is auto-generated */
!function(d,l){"use strict";l.querySelector&&d.addEventListener&&"undefined"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!/[^a-zA-Z0-9]/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret="'+t.secret+'"]'),o=l.querySelectorAll('blockquote[data-secret="'+t.secret+'"]'),c=new RegExp("^https?:$","i"),i=0;i<o.length;i++)o[i].style.display="none";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute("style"),"height"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):"link"===t.message&&(r=new URL(s.getAttribute("src")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener("message",d.wp.receiveEmbedMessage,!1),l.addEventListener("DOMContentLoaded",function(){for(var e,t,s=l.querySelectorAll("iframe.wp-embedded-content"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute("data-secret"))||(t=Math.random().toString(36).substring(2,12),e.src+="#?secret="+t,e.setAttribute("data-secret",t)),e.contentWindow.postMessage({message:"ready",secret:t},"*")},!1)))}(window,document);
//# sourceURL=https://orleans.radiocampus.org/wp-includes/js/wp-embed.min.js
</script>

Copiez-collez ce code sur votre site pour l’y intégrer