https://wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&feed=atom&action=historyInformatique, algorithmique et logiciels libres aussi - Historique des versions2024-03-29T07:01:48ZHistorique des versions pour cette page sur le wikiMediaWiki 1.35.13https://wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97722&oldid=prevMorandim : Contenu remplacé par « Catégorie:Transcriptions Publié [https://www.librealire.org/informatique-algorithmique-et-logiciels-libres-aussi ici] - Août 2022 »2022-08-31T09:38:55Z<p>Contenu remplacé par « <a href="/w/Cat%C3%A9gorie:Transcriptions" title="Catégorie:Transcriptions">Catégorie:Transcriptions</a> Publié [https://www.librealire.org/informatique-algorithmique-et-logiciels-libres-aussi ici] - Août 2022 »</p>
<a href="//wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97722&oldid=97721">Voir les modifications</a>Morandimhttps://wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97721&oldid=prevMorandim : /* Transcription */2022-08-31T08:36:51Z<p><span dir="auto"><span class="autocomment">Transcription</span></span></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="fr">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version du 31 août 2022 à 08:36</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l81" >Ligne 81 :</td>
<td colspan="2" class="diff-lineno">Ligne 81 :</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>À l’époque, aux États-Unis, tout ce qui était financé sur des fonds fédéraux était automatiquement mis dans le domaine public sauf s’il y avait des questions de sécurité. C’est pour ça qu’on a accès à tout ce code qui est dans le domaine public.<br/></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>À l’époque, aux États-Unis, tout ce qui était financé sur des fonds fédéraux était automatiquement mis dans le domaine public sauf s’il y avait des questions de sécurité. C’est pour ça qu’on a accès à tout ce code qui est dans le domaine public.<br/></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Vous voyez, à gauche, un truc qui ressemble à du charabia, c’est de l’assembleur de l’époque, et à droite les commentaires écrits en anglais de l’époque étaient un message envoyé par les développeurs aux autres développeurs. Comme disait Donald Knuth<ref>[https://fr.wikipedia.org/wiki/Donald_Knuth Donald Knuth]</ref> dans une citation que je considère assez célèbre « finalement la programmation c’est l’art d’expliquer à un autre être humain ce qu’on souhaite qu’un ordinateur fasse ». Et c’est super important de l’expliquer bien, comme disait Harold Abelson dans la citation que vous avez tout en haut dans ces transparents, parce qu’on a besoin de pouvoir le relire plus tard, de pouvoir le faire évoluer, de comprendre ce qu’il y a dedans. Pourquoi tout ceci est important ? En réalité, même si on a des algorithmes qui sont des descriptions de très haut niveau de comment on peut résoudre un problème après, pour les faire exécuter par une machine, il faut décrire dans les détails ce que l’on veut dans un langage de programmation donné et dans ces détails il y a des fois énormément de connaissances supplémentaires qu’on ne retrouve ni dans les articles ni dans la description des algorithmes. Donc c’est absolument essentiel d’avoir accès à ces codes sources <del class="diffchange diffchange-inline">et ceci </del>est un pilier de ce mouvement de la science ouverte à laquelle on s’intéresse de plus en plus aujourd’hui qui est essentiel pour faire en sorte que nos concitoyens puissent avoir plus de confiance dans les résultats des recherches scientifiques, puissent vérifier ou demander à d’autres si eux ne sont pas capables, <del class="diffchange diffchange-inline">demander à d’autres </del>de regarder ce qui a fait pour valider que ces résultats scientifiques sont valables. C’est essentiel comme on a vu dans ce phénomène de covid parce que la perte de confiance dans la connaissance scientifique est la base de la perte de confiance dans le fonctionnement d’une société.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Vous voyez, à gauche, un truc qui ressemble à du charabia, c’est de l’assembleur de l’époque, et à droite les commentaires écrits en anglais de l’époque étaient un message envoyé par les développeurs aux autres développeurs. Comme disait Donald Knuth<ref>[https://fr.wikipedia.org/wiki/Donald_Knuth Donald Knuth]</ref> dans une citation que je considère assez célèbre « finalement la programmation c’est l’art d’expliquer à un autre être humain ce qu’on souhaite qu’un ordinateur fasse ». Et c’est super important de l’expliquer bien, comme disait Harold Abelson<ins class="diffchange diffchange-inline"><ref>[https://fr.wikipedia.org/wiki/Hal_Abelson Hal Abelson]</ref> </ins>dans la citation que vous avez tout en haut dans ces transparents, parce qu’on a besoin de pouvoir le relire plus tard, de pouvoir le faire évoluer, de comprendre ce qu’il y a dedans. Pourquoi tout ceci est important ? En réalité, même si on a des algorithmes qui sont des descriptions de très haut niveau de comment on peut résoudre un problème<ins class="diffchange diffchange-inline">, </ins>après, pour les faire exécuter par une machine, il faut décrire dans les détails ce que l’on veut dans un langage de programmation donné et dans ces détails il y a des fois énormément de connaissances supplémentaires qu’on ne retrouve ni dans les articles ni dans la description des algorithmes. Donc c’est absolument essentiel d’avoir accès à ces codes sources<ins class="diffchange diffchange-inline">. Ceci </ins>est un pilier de ce mouvement de la science ouverte à laquelle on s’intéresse de plus en plus aujourd’hui qui est essentiel pour faire en sorte que nos concitoyens puissent avoir plus de confiance dans les résultats des recherches scientifiques, puissent vérifier ou demander à d’autres<ins class="diffchange diffchange-inline">, </ins>si eux ne sont pas capables, de regarder ce qui a <ins class="diffchange diffchange-inline">été </ins>fait pour valider que ces résultats scientifiques sont valables. C’est essentiel comme on a vu dans ce phénomène de covid parce que la perte de confiance dans la connaissance scientifique est la base de la perte de confiance dans le fonctionnement d’une société.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>Pour revenir à Software Heritage, à droite on a aussi le code source de QUAKE III qui est un jeu vidéo, vous avez aussi le premier navigateur internet, le noyau Linux qu’on trouve à l’intérieur des smartphones Android, tout ça peut être utile pour faire de la recherche et comprendre comment tout çà été créé. Est-ce que vous avez l’impression, l’un et l’autre, que le logiciel a été un peu négligé par le passé, <del class="diffchange diffchange-inline">que </del>de plus en plus on comprend sa valeur et on comprend l’importance d’avoir des programmateurs, des gens qui vont faire du logiciel libre, du logiciel de recherche pour toute la communauté ? Mihaela.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>Pour revenir à Software Heritage, à droite on a aussi le code source de QUAKE III qui est un jeu vidéo, vous avez aussi le premier navigateur internet, le noyau Linux qu’on trouve à l’intérieur des smartphones Android, tout ça peut être utile pour faire de la recherche et comprendre comment tout çà été créé. Est-ce que vous avez l’impression, l’un et l’autre, que le logiciel a été un peu négligé par le passé <ins class="diffchange diffchange-inline">et que</ins>, de plus en plus<ins class="diffchange diffchange-inline">, </ins>on comprend sa valeur et on comprend l’importance d’avoir des programmateurs, des gens qui vont faire du logiciel libre, du logiciel de recherche pour toute la communauté ? Mihaela.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Mihaela Sighireanu : </b>Oui, je pense qu’on a gagné justement cette expérience par le passé. Les idées de recherche fondamentale sont très bien on a besoin de ça, mais le prototypage de ces idées, le prototypage des algorithmes est aussi très important pour se confronter à d’autres algorithmes, pour voir aussi quelles sont les bonnes idées à prendre par ailleurs. On a vu justement apparaître, dans la plupart des conférences internationales, des sections où on incitait ceux qui avaient proposé de bonnes idées de recherche de soumettre aussi leurs artefacts qui étaient ensuite validés par un comité de programmes différent, indépendant. Oui, je pense qu’on se dirige vers une reconnaissance du logiciel aussi en tant que production scientifique et je pense que c’est très bien.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Mihaela Sighireanu : </b>Oui, je pense qu’on a gagné justement cette expérience par le passé. Les idées de recherche fondamentale sont très bien on a besoin de ça, mais le prototypage de ces idées, le prototypage des algorithmes est aussi très important pour se confronter à d’autres algorithmes, pour voir aussi quelles sont les bonnes idées à prendre par ailleurs. On a vu justement apparaître, dans la plupart des conférences internationales, des sections où on incitait ceux qui avaient proposé de bonnes idées de recherche de soumettre aussi leurs artefacts qui étaient ensuite validés par un comité de programmes différent, indépendant. Oui, je pense qu’on se dirige vers une reconnaissance du logiciel aussi en tant que production scientifique et je pense que c’est très bien.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>Je peux peut-être ajouter trois petits éléments là-dessus. Vous demandiez si <del class="diffchange diffchange-inline">bon </del>va vers une vraie reconnaissance. Déjà le fait de l’existence d’une infrastructure comme Software Heritage qu’on est en train de construire pour archiver tous les codes sources sur la planète, pas juste pour garder <del class="diffchange diffchange-inline">de </del>codes poussiéreux pour des passionnés qui vont regarder les choses d’il y a 50 ans, mais aussi et surtout pour regarder comment le code est développé <del class="diffchange diffchange-inline">aujourd’hui </del>et pouvoir tracer les vulnérabilités, les modifications et les évolutions. Le fait que cette initiative soit soutenue par des organismes comme l’Inria, le CNRS, Sorbonne Université et aussi Paris Cité, quel hasard, nous sommes tous ici, je prends cette occasion pour remercier à nouveau d’avoir eu confiance dans ce projet à un moment où c’était un petit bébé qui est en train de grandir maintenant.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>Je peux peut-être ajouter trois petits éléments là-dessus. Vous demandiez si <ins class="diffchange diffchange-inline">on </ins>va vers une vraie reconnaissance. Déjà le fait de l’existence d’une infrastructure comme Software Heritage qu’on est en train de construire pour archiver tous les codes sources sur la planète, pas juste pour garder <ins class="diffchange diffchange-inline">des </ins>codes poussiéreux pour des passionnés qui vont regarder les choses d’il y a 50 ans, mais aussi et surtout pour regarder comment le code est développé et pouvoir tracer <ins class="diffchange diffchange-inline">aujourd’hui </ins>les vulnérabilités, les modifications et les évolutions. Le fait que cette initiative soit soutenue par des organismes comme l’Inria, le CNRS, Sorbonne Université et aussi Paris Cité, quel hasard, nous sommes tous ici, je prends cette occasion pour remercier à nouveau d’avoir eu confiance dans ce projet à un moment où c’était un petit bébé qui est en train de grandir maintenant.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>L’Unesco aussi, vous avez le parrainage <del class="diffchange diffchange-inline">d </del>l’Unesco.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>L’Unesco aussi, vous avez le parrainage <ins class="diffchange diffchange-inline">de </ins>l’Unesco.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>Bien sûr, il y en a plein, je remercie d’abord ceux qui sont présents.<br/></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>Bien sûr, il y en a plein, je remercie d’abord ceux qui sont présents.<br/></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline"> </del>Je voulais aussi préciser parce que vous dites que je suis fondateur, président, c’est très égocentrique, je préfère dire que c’est un effort collectif. Il y a pas de mal de gens de l’équipe qui sont ici. On a travaillé avec Stefano [Zacchiroli], on a travaillé avec Jean-François [Abramatic], on a travaillé avec Nicolas [Dandrimont], on a travaillé avec Morane [Gruenpete], plein de gens qui sont ici et c’est vraiment important de reconnaître qu’il s’agit d’un effort collectif, comme disait un vieux proverbe africain <em>Tout seul on va plus vite mais ensemble on va plus loin</em>. On essaye de prendre ça systématiquement.<br/></div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Je voulais aussi préciser parce que vous dites que je suis fondateur, président, c’est très égocentrique, je préfère dire que c’est un effort collectif. Il y a pas de mal de gens de l’équipe qui sont ici. On a travaillé avec Stefano [Zacchiroli], on a travaillé avec Jean-François [Abramatic], on a travaillé avec Nicolas [Dandrimont], on a travaillé avec Morane [Gruenpete], plein de gens qui sont ici et c’est vraiment important de reconnaître qu’il s’agit d’un effort collectif, comme disait un vieux proverbe africain <em>Tout seul on va plus vite mais ensemble on va plus loin</em>. On essaye de prendre ça systématiquement.<br/></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Deuxième élément de reconnaissance. Le fait que de plus en plus on retrouve le logiciel, comme disait Mihaela, comme un produit de la recherche, vraiment valorisé en tant que tel<del class="diffchange diffchange-inline">, le </del>fait que cette valorisation a lieu<del class="diffchange diffchange-inline">. Par </del>exemple cette année, pour la première fois dans le monde, un ministère, le ministère de la Recherche français, a créé un prix national pour les logiciels de recherche dans lequel on retrouve 129 candidatures d’excellente qualité et parmi les lauréats il y a des logiciels de cette université, de Sorbonne Université, mais aussi Paris-Cité, de l’Inria, du CNRS dans toutes les disciplines.<br/></div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Deuxième élément de reconnaissance. Le fait que de plus en plus on retrouve le logiciel, comme disait Mihaela, <ins class="diffchange diffchange-inline">justement </ins>comme un produit de la recherche, vraiment valorisé en tant que tel<ins class="diffchange diffchange-inline">. Le </ins>fait que cette valorisation a lieu <ins class="diffchange diffchange-inline">c'est par </ins>exemple <ins class="diffchange diffchange-inline">que </ins>cette année, pour la première fois dans le monde, un ministère, le ministère de la Recherche français, a créé un prix national pour les logiciels de recherche<ins class="diffchange diffchange-inline"><ref>[https://www.enseignementsup-recherche.gouv.fr/fr/remise-des-prix-science-ouverte-du-logiciel-libre-de-la-recherche-83576 Remise des prix science ouverte du logiciel libre de la recherche]</ref> </ins>dans lequel on retrouve 129 candidatures d’excellente qualité et<ins class="diffchange diffchange-inline">, </ins>parmi les lauréats<ins class="diffchange diffchange-inline">, </ins>il y a des logiciels de cette université, de Sorbonne Université, mais aussi Paris-Cité, de l’Inria, du CNRS dans toutes les disciplines.<br/></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Le troisième élément que je voulais mentionner c’est le fait que finalement l’activité de programmation commence à être vue comme une activité noble et non plus seulement quelque chose qu’on peut <em>outsourcer</em> en Inde, en Tunisie, le near-shore comme on disait autrefois, etc. On a compris que finalement le pouvoir est dans les mains de ceux qui savent écrire le code qui devient la loi, comme disait Lawrence Lessig <em> Code is Law</em>.<br/></div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Le troisième élément que je voulais mentionner c’est le fait que finalement l’activité de programmation commence à être vue comme une activité noble et non plus seulement quelque chose qu’on peut <em>outsourcer</em> en Inde, en Tunisie, le near-shore comme on disait autrefois, etc. On a compris que finalement le pouvoir est dans les mains de ceux qui savent écrire le code qui devient la loi, comme disait Lawrence Lessig<ins class="diffchange diffchange-inline"><ref>[https://fr.wikipedia.org/wiki/Lawrence_Lessig Lawrence Lessig]</ref> </ins><em> Code is Law</em>.<br/></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Si vous me permettez je termine juste avec une phrase. Il y a des choses révolutionnaires qu’on commence à faire. Par exemple, plus récemment, on a des projets qui nous montrent comment on peut faire l’inverse, transformer la loi en code, n’est-ce pas ! Faire en sorte que la loi devienne exécutable. Ça fait une peu peur, si on passe une mauvaise loi elle est exécutée tout de suite ! Par exemple sur le code fiscal, savoir comment nos impôts sont calculés, pouvoir vérifier comment c’est fait grâce à projet qui est basé sur des langages de programmation modernes avec toutes les notions des langages de programmation de base<del class="diffchange diffchange-inline">, on </del>est en train de formaliser tout ça et ça va être utilisé au ministère de Finances.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Si vous me permettez je termine juste avec une phrase. Il y a des choses révolutionnaires qu’on commence à faire. Par exemple, plus récemment, on a des projets qui nous montrent comment on peut faire l’inverse, transformer la loi en code, n’est-ce pas ! Faire en sorte que la loi devienne exécutable. Ça fait une peu peur, si on passe une mauvaise loi elle est exécutée tout de suite ! Par exemple sur le code fiscal, savoir comment nos impôts sont calculés, pouvoir vérifier comment c’est fait grâce à projet qui est basé sur des langages de programmation modernes avec toutes les notions des langages de programmation de base<ins class="diffchange diffchange-inline">. On </ins>est en train de formaliser tout ça et ça va être utilisé au ministère de Finances.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><b>Mihaela Sighireanu : </b>Je voulais tout simplement ajouter, je ne l’ai pas dit tout à l’heure, le fait que toute la recherche fondamentale sur les langages de programmation est aussi quelque chose d’important, parce qu’on parle de logiciels. C’est important que nous, en tant qu’experts en informatique, on puisse exprimer, programmer dans des langages adaptés et <del class="diffchange diffchange-inline">puis </del>la communauté des deux laboratoires <del class="diffchange diffchange-inline">ont </del>eu des contributions importantes dans ces langages de programmation, des langages de programmation fiables pour les systèmes, je pense au langage synchrone, au langage fonctionnel, <del class="diffchange diffchange-inline">après </del>au langage impératif. La recherche fondamentale nous permet justement de capturer cette spécificité des chercheurs, des non chercheurs aussi, pour pouvoir programmer mieux, de manière plus fiable, <del class="diffchange diffchange-inline">pour </del>pouvoir exprimer nos algorithmes dans des langages adaptés.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><b>Mihaela Sighireanu : </b>Je voulais tout simplement ajouter, je ne l’ai pas dit tout à l’heure, le fait que toute la recherche fondamentale sur les langages de programmation est aussi quelque chose d’important, parce qu’on parle de logiciels. C’est important que nous, en tant qu’experts en informatique, on puisse exprimer, programmer dans des langages adaptés et la communauté des deux laboratoires <ins class="diffchange diffchange-inline">a </ins>eu des contributions importantes dans ces langages de programmation, des langages de programmation fiables pour les systèmes, je pense au langage synchrone, au langage fonctionnel, au langage impératif. La recherche fondamentale nous permet justement de capturer cette spécificité des chercheurs, des non chercheurs aussi, pour pouvoir programmer mieux, de manière plus fiable, <ins class="diffchange diffchange-inline">de </ins>pouvoir exprimer nos algorithmes dans des langages adaptés.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>Le ministère de la Recherche a créé les Prix science ouverte du logiciel libre et de la recherche, il y a plusieurs prix, c’était cette année et c’est vraiment le signe que quelque chose est en train de se passer de côté-là et que de plus en plus les créateurs de logiciels sont reconnus, y compris dans l’évaluation de leur carrière, je crois qu’il en est question de plus en plus .<br/></div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>Le ministère de la Recherche a créé les Prix science ouverte du logiciel libre et de la recherche, il y a plusieurs prix, c’était cette année et c’est vraiment le signe que quelque chose est en train de se passer de côté-là et que de plus en plus les créateurs de logiciels sont reconnus, y compris dans l’évaluation de leur carrière, je crois qu’il en est question de plus en plus.<br/></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Merci infiniment à tous les deux d’avoir été avec nous.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Merci infiniment à tous les deux d’avoir été avec nous.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[Applaudissements]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[Applaudissements]</div></td></tr>
</table>Morandimhttps://wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97720&oldid=prevMorandim : /* Transcription */2022-08-31T08:06:15Z<p><span dir="auto"><span class="autocomment">Transcription</span></span></p>
<a href="//wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97720&oldid=97316">Voir les modifications</a>Morandimhttps://wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97316&oldid=prevErwan574 : ajout de quelques .???2022-07-25T08:53:17Z<p>ajout de quelques .???</p>
<table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="fr">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version du 25 juillet 2022 à 08:53</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l78" >Ligne 78 :</td>
<td colspan="2" class="diff-lineno">Ligne 78 :</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>La raison pour laquelle on a accès à ce code-là – ça c’est un petit bout, ce n’est pas très lisible, ce n’est pas très bien focalisé, mais je peux vous die ce qu’il y a dedans. </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>La raison pour laquelle on a accès à ce code-là – ça c’est un petit bout, ce n’est pas très lisible, ce n’est pas très bien focalisé, mais je peux vous die ce qu’il y a dedans. </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>À droite je vois <em><del class="diffchange diffchange-inline"> ???</del></em>.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>À droite je vois <em><ins class="diffchange diffchange-inline">INITIALIZE LANDING RADAR</ins></em>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>À l’époque, aux États-Unis, tout ce qui était financé sur des fonds fédéraux était automatiquement mis dans le domaine public sauf s’il y avait des questions de sécurité. C’est pour ça qu’on a accès à tout ce code qui est dans le domaine public.<br/></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Roberto Di Cosmo : </b>À l’époque, aux États-Unis, tout ce qui était financé sur des fonds fédéraux était automatiquement mis dans le domaine public sauf s’il y avait des questions de sécurité. C’est pour ça qu’on a accès à tout ce code qui est dans le domaine public.<br/></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Vous voyez à gauche un truc qui ressemble à du charabia, c’est de l’assembleur de l’époque, à droite les commentaires écrits en anglais de l’époque étaient un message envoyé par les développeurs aux autres développeurs. Comme disait Donald Knuth dans une citation que je considère assez célèbre « finalement la programmation c’est l’art d’expliquer à un autre être humain ce qu’on souhaite qu’un ordinateur fasse ». Et c’est super important de l’expliquer bien, comme <del class="diffchange diffchange-inline">disait ??? </del>dans la citation que vous avez tout en haut dans ces transparents, parce qu’on a besoin de pouvoir les relire plus tard, de pouvoir les faire évoluer, de comprendre ce qu’il y a dedans. Pourquoi tout ceci est important ? En réalité, même si on a des algorithmes qui sont des descriptions de très haut niveau de comment on peut résoudre un problème après, pour les faire exécuter par une machine, il faut décrire dans les détails ce que l’on veut dans un langage de programmation donné et dans ces détails il y a des fois énormément de connaissances supplémentaires qu’on ne retrouve ni dans les articles ni dans la description des algorithmes. Donc c’est absolument essentiel d’avoir accès à ces codes sources et ceci est un pilier de ce mouvement de la science ouverte à laquelle on s’intéresse de plus en plus aujourd’hui qui est essentiel pour faire en sorte que nos concitoyens puissent avoir plus de confiance dans les résultats des recherches scientifiques, puissent vérifier ou demander à d’autres si eux ne sont pas capables, demander à d’autres de regarder ce qui a fait pour valider que ces résultats scientifiques sont valables. C’est essentiel comme on a vu dans ce phénomène de covid parce que la perte de confiance dans la connaissance scientifique est la base de la perte de confiance dans le fonctionnement d’une société.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Vous voyez à gauche un truc qui ressemble à du charabia, c’est de l’assembleur de l’époque, à droite les commentaires écrits en anglais de l’époque étaient un message envoyé par les développeurs aux autres développeurs. Comme disait Donald Knuth dans une citation que je considère assez célèbre « finalement la programmation c’est l’art d’expliquer à un autre être humain ce qu’on souhaite qu’un ordinateur fasse ». Et c’est super important de l’expliquer bien, comme <ins class="diffchange diffchange-inline">disait Harold Abelson </ins>dans la citation que vous avez tout en haut dans ces transparents, parce qu’on a besoin de pouvoir les relire plus tard, de pouvoir les faire évoluer, de comprendre ce qu’il y a dedans. Pourquoi tout ceci est important ? En réalité, même si on a des algorithmes qui sont des descriptions de très haut niveau de comment on peut résoudre un problème après, pour les faire exécuter par une machine, il faut décrire dans les détails ce que l’on veut dans un langage de programmation donné et dans ces détails il y a des fois énormément de connaissances supplémentaires qu’on ne retrouve ni dans les articles ni dans la description des algorithmes. Donc c’est absolument essentiel d’avoir accès à ces codes sources et ceci est un pilier de ce mouvement de la science ouverte à laquelle on s’intéresse de plus en plus aujourd’hui qui est essentiel pour faire en sorte que nos concitoyens puissent avoir plus de confiance dans les résultats des recherches scientifiques, puissent vérifier ou demander à d’autres si eux ne sont pas capables, demander à d’autres de regarder ce qui a fait pour valider que ces résultats scientifiques sont valables. C’est essentiel comme on a vu dans ce phénomène de covid parce que la perte de confiance dans la connaissance scientifique est la base de la perte de confiance dans le fonctionnement d’une société.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>Pour revenir à Software Heritage, à droite on a aussi le code source de QUAKE III qui est un jeu vidéo, vous avez aussi le premier navigateur internet, le noyau Linux qu’on trouve à l’intérieur des smartphones Android, tout ça peut être utile pour faire de la recherche et comprendre comment tout çà été créé. Est-ce que vous avez l’impression, l’un et l’autre, que le logiciel a été un peu négligé par le passé, que de plus en plus on comprend sa valeur et on comprend l’importance d’avoir des programmateurs, des gens qui vont faire du logiciel libre, du logiciel de recherche pour toute la communauté ? Mihaela.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><b>Paul De Brem : </b>Pour revenir à Software Heritage, à droite on a aussi le code source de QUAKE III qui est un jeu vidéo, vous avez aussi le premier navigateur internet, le noyau Linux qu’on trouve à l’intérieur des smartphones Android, tout ça peut être utile pour faire de la recherche et comprendre comment tout çà été créé. Est-ce que vous avez l’impression, l’un et l’autre, que le logiciel a été un peu négligé par le passé, que de plus en plus on comprend sa valeur et on comprend l’importance d’avoir des programmateurs, des gens qui vont faire du logiciel libre, du logiciel de recherche pour toute la communauté ? Mihaela.</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l94" >Ligne 94 :</td>
<td colspan="2" class="diff-lineno">Ligne 94 :</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> Je voulais aussi préciser parce que vous dites que je suis fondateur, président, c’est très égocentrique, je préfère dire que c’est un effort collectif. Il y a pas de mal de gens de l’équipe qui sont ici. On a travaillé avec Stefano [Zacchiroli], on a travaillé avec Jean-François [Abramatic], on a travaillé avec Nicolas [Dandrimont], on a travaillé avec Morane [Gruenpete], plein de gens qui sont ici et c’est vraiment important de reconnaître qu’il s’agit d’un effort collectif, comme disait un vieux proverbe africain <em>Tout seul on va plus vite mais ensemble on va plus loin</em>. On essaye de prendre ça systématiquement.<br/></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> Je voulais aussi préciser parce que vous dites que je suis fondateur, président, c’est très égocentrique, je préfère dire que c’est un effort collectif. Il y a pas de mal de gens de l’équipe qui sont ici. On a travaillé avec Stefano [Zacchiroli], on a travaillé avec Jean-François [Abramatic], on a travaillé avec Nicolas [Dandrimont], on a travaillé avec Morane [Gruenpete], plein de gens qui sont ici et c’est vraiment important de reconnaître qu’il s’agit d’un effort collectif, comme disait un vieux proverbe africain <em>Tout seul on va plus vite mais ensemble on va plus loin</em>. On essaye de prendre ça systématiquement.<br/></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Deuxième élément de reconnaissance. Le fait que de plus en plus on retrouve le logiciel, comme disait Mihaela, comme un produit de la recherche, vraiment valorisé en tant que tel, le fait que cette valorisation a lieu. Par exemple cette année, pour la première fois dans le monde, un ministère, le ministère de la Recherche français, a créé un prix national pour les logiciels de recherche dans lequel on retrouve 129 candidatures d’excellente qualité et parmi les lauréats il y a des logiciels de cette université, de Sorbonne Université, mais aussi Paris-Cité, de l’Inria, du CNRS dans toutes les disciplines.<br/></div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Deuxième élément de reconnaissance. Le fait que de plus en plus on retrouve le logiciel, comme disait Mihaela, comme un produit de la recherche, vraiment valorisé en tant que tel, le fait que cette valorisation a lieu. Par exemple cette année, pour la première fois dans le monde, un ministère, le ministère de la Recherche français, a créé un prix national pour les logiciels de recherche dans lequel on retrouve 129 candidatures d’excellente qualité et parmi les lauréats il y a des logiciels de cette université, de Sorbonne Université, mais aussi Paris-Cité, de l’Inria, du CNRS dans toutes les disciplines.<br/></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Le troisième élément que je voulais mentionner c’est le fait que finalement l’activité de programmation commence à être vue comme une activité noble et non plus seulement quelque chose qu’on peut <em>outsourcer</em> en Inde, en Tunisie, <del class="diffchange diffchange-inline">le ??? </del>comme on disait autrefois, etc. On a compris que finalement le pouvoir est dans les mains de ceux qui savent écrire le code qui devient la loi, comme disait Lawrence Lessig <em> Code is Law</em>.<br/></div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Le troisième élément que je voulais mentionner c’est le fait que finalement l’activité de programmation commence à être vue comme une activité noble et non plus seulement quelque chose qu’on peut <em>outsourcer</em> en Inde, en Tunisie, <ins class="diffchange diffchange-inline">le near-shore </ins>comme on disait autrefois, etc. On a compris que finalement le pouvoir est dans les mains de ceux qui savent écrire le code qui devient la loi, comme disait Lawrence Lessig <em> Code is Law</em>.<br/></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Si vous me permettez je termine juste avec une phrase. Il y a des choses révolutionnaires qu’on commence à faire. Par exemple, plus récemment, on a des projets qui nous montrent comment on peut faire l’inverse, transformer la loi en code, n’est-ce pas ! Faire en sorte que la loi devienne exécutable. Ça fait une peu peur, si on passe une mauvaise loi elle est exécutée tout de suite ! Par exemple sur le code fiscal, savoir comment nos impôts sont calculés, pouvoir vérifier comment c’est fait grâce à projet qui est basé sur des langages de programmation modernes avec toutes les notions des langages de programmation de base, on est en train de formaliser tout ça et ça va être utilisé au ministère de Finances.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Si vous me permettez je termine juste avec une phrase. Il y a des choses révolutionnaires qu’on commence à faire. Par exemple, plus récemment, on a des projets qui nous montrent comment on peut faire l’inverse, transformer la loi en code, n’est-ce pas ! Faire en sorte que la loi devienne exécutable. Ça fait une peu peur, si on passe une mauvaise loi elle est exécutée tout de suite ! Par exemple sur le code fiscal, savoir comment nos impôts sont calculés, pouvoir vérifier comment c’est fait grâce à projet qui est basé sur des langages de programmation modernes avec toutes les notions des langages de programmation de base, on est en train de formaliser tout ça et ça va être utilisé au ministère de Finances.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
</table>Erwan574https://wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97225&oldid=prevMorandim le 12 juillet 2022 à 10:582022-07-12T10:58:24Z<p></p>
<table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="fr">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version du 12 juillet 2022 à 10:58</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l29" >Ligne 29 :</td>
<td colspan="2" class="diff-lineno">Ligne 29 :</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Transcription==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Transcription==</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Commençons avec vous, Roberto Di Cosmo, professeur d’informatique à l’université de Paris Cité, vous êtes détaché auprès de l’Inria pour vous occuper justement de logiciels, de softwares. Vous est les fondateur et président de Software Heritage.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Si vous voulez bien on va plutôt commencer par Mihalea, on va changer.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Professeur d’université en informatique à l’ENS Paris-Saclay, membre du laboratoire méthodes formelles et votre spécialité c’est la vérification des systèmes informatiques. Quand on vérifie les systèmes informatiques, d’abord on a vérifié le matériel, il y a des protocoles et maintenant, de plus en plus, on vérifie les logiciels. D’abord historiquement on a vérifié les matériels. Pourquoi a-t-on vérifié les matériels plus que les protocoles et les logiciels ?</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Merci pour l’introduction. Je suis très contente d’être ici avec vous.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Pourquoi on a commencé par le matériel ? Parce que tout simplement à l’époque le matériel était simple. Il y avait des machines à états qu’on savait explorer, au moins qu’on savait énumérer, et parmi ces états on pouvait trouver des états où il y avait des bugs, des états qui n’étaient pas bons. Donc on a commencé par le matériel avec des méthodes formelles, c’est-à-dire des modélisations de ces matériels dans des structures mathématiques sur lesquelles, après, on savait raisonner, ces fameux invariants dont on a parlé tout à l’heure. La France, à l’époque, était quand même pionnière dans ces méthodes. Il y a un eu un prix Turing à cette occasion-là et puis il y a des outils qui sont actuellement reconnus de manière internationale, qui ont justement des résultats très bons dans ces méthodes de vérification qu’on appelle la vérification basée sur les modèles.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Ce sont les matériels. Ensuite sont venus les protocoles.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Les mêmes outils ont été étendus après. Je cite ???, mais d’autres outils ont été conçus à l’époque pour la vérification des protocoles, plutôt pour des invariants qui étaient, disons, finis, mais après aussi pour trouver des erreurs dans ces protocoles, surtout les protocoles de communication, c’est très important.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Maintenant, ce qui est apparemment très nouveau, c’est qu’on peut faire de la vérification du logiciel. C’est nouveau effectivement ?</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Ce n’est pas si nouveau parce que ces méthodes ont été conçues dans les années 80. Les logiciels permettant de faire de la vérification ont mis un petit peu de temps à passer à l’échelle. Là je vais faire la fière pour notre communauté, parce que la France a eu aussi beaucoup d’impact dans ces technologies, dans ces techniques, ces méthodes. Je pense que la plupart des personnes dans la salle connaissent COQ qui est un outil de modalisation mathématiques, de ??? de langages de programmation et de raisonnement sur ces langages de programmation. D’autres outils ont permis en fait de faire de l’analyse automatique des programmes, je pense à l’outil ASTREA.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>ASTREA, Analyse de code embarqué sur Airbus, analyse du code sur le système de contrôle commande.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Tout à fait, qui est développé par des chercheurs français qui ont justement réussi à fiabiliser le logiciel qui tourne sur les Airbus, c’est extraordinaire.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Ça tombe bien d’accord. C’est au point que maintenant on peut certifier les logiciels.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Voilà. Il y a eu la partie vérification automatique, mais cette vérification a ses limites, les limites données par tout ce qu’on apprend à nos étudiants sur la ??? dans l’informatique. On peut franchir ces limites si un utilisateur humain aide le calculateur, l’outil de preuve. Là aussi on a des outils en France qui sont reconnus de manière internationale, je parle par exemple de Why3, je parle des outils qui permettent de faire des vérifications du logiciel dirigées par l’humain au point qu’on est arrivé à vérifier des noyaux du système d’exploitation, de logiciels de taille importante qui ne sont pas faciles, pas forcément avec Why3 mais d’autres logiciels.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Vous utilisez le terme de révolution. Il y a eu une révolution il y a une dizaine d’années autour de la vérification des logiciels ?</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Dès 2009/2010, on a vu des études de cas de passage à l’échelle important sur la vérification de logiciels. Je trouve que c’est quelque chose d’assez extraordinaire pour la fiabilité des logiciels.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Roberto Di Cosmo vous vous intéressez aussi beaucoup aux logiciels, professeur d’informatique à Paris Cité. Vous êtes le fondateur et président de quelque chose qui s’appelle Software Heritage. L’idée c’est d’archiver les codes sources de tous les logiciels publiquement disponibles. C’est une grande archive, un grand rassemblement si je puis dire. Combien de codes sources avez-vous réussi à recueillir de cette manière-là ?</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>Si vous regardez sur le site web du projet, qui est complètement ouvert, sur archive.softwareheritage.org, vous verrez qu’on a indexé à peu près 170 millions d’origines, ce qui ne veut pas dire 170 millions de projets différents car pas mal de copies du même projet sont éparpillées sur la planète. Ça fait à peu près 12 milliards de fichiers sources.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>12 milliards de fichiers sources !</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>Tout à fait, qu’on a récupérés.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>D’accord, et qui sont répartis sur trois sites différents.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>Oui. Je ne sais pas si vous voulez qu’on parle de toute la technologie qu’il y a derrière. On peut peut-être prendre un petit moment de hauteur là-dessus, un transparent est apparu là-derrière, peut-être deux secondes de réflexion parce qu’on a parlé beaucoup d’informatique, de l’origine de l’informatique, ses liens avec les mathématiques qui est un fondement fort ici en France, que j’ai toujours adoré et respecté. Vous entendez l’accent, bien que je sois là depuis 30 ans je suis quand même italien ; quand je suis arrivé, j’ai trouvé fascinant le terreau de recherche qu’il y a ici. Depuis longtemps ma passion c’était quand même la programmation, les langages de programmation, comment expliquer ce que fait un programme, comment prouver s’il est correct, comment trouver de la sémantique, comment programmer de façon élégante, comment avoir des abstractions des langages de programmation. C’était assez étonnant de voir comment dans le monde de la recherche l’activité de programmation était, d’une certaine façon, pas suffisamment respectée on pourrait dire. C’était souvent vu comme un outil par pas mal de disciplines. D’ailleurs, quand j’ai commencé mes études en Italie à Pise, à l’École normale, je pense que nous étions quatre informaticiens quand nous sommes entrés. Tous les autres nous regardaient un peu mal en disant « tu es informaticien, donc tu es un mauvais physicien avec une calculette ! » Ou alors « tu es un mauvais mathématicien avec une calculette. »</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Pour revenir à Software Heritage, justement à cette diapositive, donc on a 12 milliards de codes sources. On a des petites pépites. On a par exemple, à gauche, le code source de Apollo 11, c’est ça ? C’est le système informatique qui se trouvait à bord ?</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>À bord de Apollo 11 pour les systèmes de guidage. D’ailleurs ça permet de faire un peu d’histoire. Au moment où le projet Apollo a été lancé, on calcule aujourd’hui que cet objet a coûté l’équivalent de 200 milliards de dollars actuels, un énorme programme industriel pour le faire, il n’y avait pas une ligne budgétaire pour le logiciel .</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Pas une ligne budgétaire.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>Il n’y avait pas de ligne budgétaire pour les lignes de code, ce n’était pas prévu, c’est arrivé plus tard. C’est peut-être grâce à ça que finalement on a eu une des premières femmes dans l’histoire de l’informatique, Margaret Hamilton, qui a piloté l’équipe qui a développé ce code-là.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">La raison pour laquelle on a accès à ce code-là – ça c’est un petit bout, ce n’est pas très lisible, ce n’est pas très bien focalisé, mais je peux vous die ce qu’il y a dedans. </ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>À droite je vois <em> ???</em>.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>À l’époque, aux États-Unis, tout ce qui était financé sur des fonds fédéraux était automatiquement mis dans le domaine public sauf s’il y avait des questions de sécurité. C’est pour ça qu’on a accès à tout ce code qui est dans le domaine public.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Vous voyez à gauche un truc qui ressemble à du charabia, c’est de l’assembleur de l’époque, à droite les commentaires écrits en anglais de l’époque étaient un message envoyé par les développeurs aux autres développeurs. Comme disait Donald Knuth dans une citation que je considère assez célèbre « finalement la programmation c’est l’art d’expliquer à un autre être humain ce qu’on souhaite qu’un ordinateur fasse ». Et c’est super important de l’expliquer bien, comme disait ??? dans la citation que vous avez tout en haut dans ces transparents, parce qu’on a besoin de pouvoir les relire plus tard, de pouvoir les faire évoluer, de comprendre ce qu’il y a dedans. Pourquoi tout ceci est important ? En réalité, même si on a des algorithmes qui sont des descriptions de très haut niveau de comment on peut résoudre un problème après, pour les faire exécuter par une machine, il faut décrire dans les détails ce que l’on veut dans un langage de programmation donné et dans ces détails il y a des fois énormément de connaissances supplémentaires qu’on ne retrouve ni dans les articles ni dans la description des algorithmes. Donc c’est absolument essentiel d’avoir accès à ces codes sources et ceci est un pilier de ce mouvement de la science ouverte à laquelle on s’intéresse de plus en plus aujourd’hui qui est essentiel pour faire en sorte que nos concitoyens puissent avoir plus de confiance dans les résultats des recherches scientifiques, puissent vérifier ou demander à d’autres si eux ne sont pas capables, demander à d’autres de regarder ce qui a fait pour valider que ces résultats scientifiques sont valables. C’est essentiel comme on a vu dans ce phénomène de covid parce que la perte de confiance dans la connaissance scientifique est la base de la perte de confiance dans le fonctionnement d’une société.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Pour revenir à Software Heritage, à droite on a aussi le code source de QUAKE III qui est un jeu vidéo, vous avez aussi le premier navigateur internet, le noyau Linux qu’on trouve à l’intérieur des smartphones Android, tout ça peut être utile pour faire de la recherche et comprendre comment tout çà été créé. Est-ce que vous avez l’impression, l’un et l’autre, que le logiciel a été un peu négligé par le passé, que de plus en plus on comprend sa valeur et on comprend l’importance d’avoir des programmateurs, des gens qui vont faire du logiciel libre, du logiciel de recherche pour toute la communauté ? Mihaela.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Oui, je pense qu’on a gagné justement cette expérience par le passé. Les idées de recherche fondamentale sont très bien on a besoin de ça, mais le prototypage de ces idées, le prototypage des algorithmes est aussi très important pour se confronter à d’autres algorithmes, pour voir aussi quelles sont les bonnes idées à prendre par ailleurs. On a vu justement apparaître, dans la plupart des conférences internationales, des sections où on incitait ceux qui avaient proposé de bonnes idées de recherche de soumettre aussi leurs artefacts qui étaient ensuite validés par un comité de programmes différent, indépendant. Oui, je pense qu’on se dirige vers une reconnaissance du logiciel aussi en tant que production scientifique et je pense que c’est très bien.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>Je peux peut-être ajouter trois petits éléments là-dessus. Vous demandiez si bon va vers une vraie reconnaissance. Déjà le fait de l’existence d’une infrastructure comme Software Heritage qu’on est en train de construire pour archiver tous les codes sources sur la planète, pas juste pour garder de codes poussiéreux pour des passionnés qui vont regarder les choses d’il y a 50 ans, mais aussi et surtout pour regarder comment le code est développé aujourd’hui et pouvoir tracer les vulnérabilités, les modifications et les évolutions. Le fait que cette initiative soit soutenue par des organismes comme l’Inria, le CNRS, Sorbonne Université et aussi Paris Cité, quel hasard, nous sommes tous ici, je prends cette occasion pour remercier à nouveau d’avoir eu confiance dans ce projet à un moment où c’était un petit bébé qui est en train de grandir maintenant.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>L’Unesco aussi, vous avez le parrainage d l’Unesco.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Roberto Di Cosmo : </b>Bien sûr, il y en a plein, je remercie d’abord ceux qui sont présents.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> Je voulais aussi préciser parce que vous dites que je suis fondateur, président, c’est très égocentrique, je préfère dire que c’est un effort collectif. Il y a pas de mal de gens de l’équipe qui sont ici. On a travaillé avec Stefano [Zacchiroli], on a travaillé avec Jean-François [Abramatic], on a travaillé avec Nicolas [Dandrimont], on a travaillé avec Morane [Gruenpete], plein de gens qui sont ici et c’est vraiment important de reconnaître qu’il s’agit d’un effort collectif, comme disait un vieux proverbe africain <em>Tout seul on va plus vite mais ensemble on va plus loin</em>. On essaye de prendre ça systématiquement.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Deuxième élément de reconnaissance. Le fait que de plus en plus on retrouve le logiciel, comme disait Mihaela, comme un produit de la recherche, vraiment valorisé en tant que tel, le fait que cette valorisation a lieu. Par exemple cette année, pour la première fois dans le monde, un ministère, le ministère de la Recherche français, a créé un prix national pour les logiciels de recherche dans lequel on retrouve 129 candidatures d’excellente qualité et parmi les lauréats il y a des logiciels de cette université, de Sorbonne Université, mais aussi Paris-Cité, de l’Inria, du CNRS dans toutes les disciplines.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Le troisième élément que je voulais mentionner c’est le fait que finalement l’activité de programmation commence à être vue comme une activité noble et non plus seulement quelque chose qu’on peut <em>outsourcer</em> en Inde, en Tunisie, le ??? comme on disait autrefois, etc. On a compris que finalement le pouvoir est dans les mains de ceux qui savent écrire le code qui devient la loi, comme disait Lawrence Lessig <em> Code is Law</em>.<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Si vous me permettez je termine juste avec une phrase. Il y a des choses révolutionnaires qu’on commence à faire. Par exemple, plus récemment, on a des projets qui nous montrent comment on peut faire l’inverse, transformer la loi en code, n’est-ce pas ! Faire en sorte que la loi devienne exécutable. Ça fait une peu peur, si on passe une mauvaise loi elle est exécutée tout de suite ! Par exemple sur le code fiscal, savoir comment nos impôts sont calculés, pouvoir vérifier comment c’est fait grâce à projet qui est basé sur des langages de programmation modernes avec toutes les notions des langages de programmation de base, on est en train de formaliser tout ça et ça va être utilisé au ministère de Finances.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Mihaela Sighireanu : </b>Je voulais tout simplement ajouter, je ne l’ai pas dit tout à l’heure, le fait que toute la recherche fondamentale sur les langages de programmation est aussi quelque chose d’important, parce qu’on parle de logiciels. C’est important que nous, en tant qu’experts en informatique, on puisse exprimer, programmer dans des langages adaptés et puis la communauté des deux laboratoires ont eu des contributions importantes dans ces langages de programmation, des langages de programmation fiables pour les systèmes, je pense au langage synchrone, au langage fonctionnel, après au langage impératif. La recherche fondamentale nous permet justement de capturer cette spécificité des chercheurs, des non chercheurs aussi, pour pouvoir programmer mieux, de manière plus fiable, pour pouvoir exprimer nos algorithmes dans des langages adaptés.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><b>Paul De Brem : </b>Le ministère de la Recherche a créé les Prix science ouverte du logiciel libre et de la recherche, il y a plusieurs prix, c’était cette année et c’est vraiment le signe que quelque chose est en train de se passer de côté-là et que de plus en plus les créateurs de logiciels sont reconnus, y compris dans l’évaluation de leur carrière, je crois qu’il en est question de plus en plus .<br/></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Merci infiniment à tous les deux d’avoir été avec nous.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[Applaudissements]</ins></div></td></tr>
</table>Morandimhttps://wiki.april.org/index.php?title=Informatique,_algorithmique_et_logiciels_libres_aussi&diff=97224&oldid=prevMorandim : Page créée avec « Catégorie:Transcriptions '''Titre :''' Informatique, algorithmique et logiciels libres aussi '''Intervenante :''' Mihaela Sighireanu - Roberto Di Cosmo - Paul De Br… »2022-07-12T09:21:26Z<p>Page créée avec « <a href="/w/Cat%C3%A9gorie:Transcriptions" title="Catégorie:Transcriptions">Catégorie:Transcriptions</a> '''Titre :''' Informatique, algorithmique et logiciels libres aussi '''Intervenante :''' Mihaela Sighireanu - Roberto Di Cosmo - Paul De Br… »</p>
<p><b>Nouvelle page</b></p><div>[[Catégorie:Transcriptions]]<br />
<br />
'''Titre :''' Informatique, algorithmique et logiciels libres aussi<br />
<br />
'''Intervenante :''' Mihaela Sighireanu - Roberto Di Cosmo - Paul De Brem<br />
<br />
'''Lieu :''' Sorbonne Université - Campus Pierre et Marie Curie<br />
<br />
'''Événement :''' 75 ans d’Informatique<br />
<br />
'''Date :''' 9 mai 2022<br />
<br />
'''Durée :''' 17 min 03<br />
<br />
'''[https://www.youtube.com/watch?v=8zqctXyBcoQ&ab_channel=LIP6-SorbonneUniversit%C3%A9 Vidéo]'''<br />
<br />
[https://www.lip6.fr/75ans/?guest=Soiree Présentation de l'événement]<br />
<br />
'''Licence de la transcription :''' [http://www.gnu.org/licenses/licenses.html#VerbatimCopying Verbatim]<br />
<br />
'''Illustration :''' À prévoir<br />
<br />
'''NB :''' <em>transcription réalisée par nos soins, fidèle aux propos des intervenant·e·s mais rendant le discours fluide.<br/><br />
Les positions exprimées sont celles des personnes qui interviennent et ne rejoignent pas nécessairement celles de l'April, qui ne sera en aucun cas tenue responsable de leurs propos.</em><br />
<br />
==Description==<br />
<br />
Les thèmes abordés dans cette dernière session concernent le logiciel sous différentes formes et comment les sciences informatiques permettent de l’étudier pour en accroître la fiabilité.<br />
<br />
==Transcription==</div>Morandim