Shows
Cauet sur Europe 2 - Les podcasts qui déchirentLE SON DES RÉSEAUX - "Les gars les moins logiques"Deux cerveaux, zéro logique : bienvenue chez les champions du raisonnement bancal !Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-05-1203 min
Cauet sur Europe 2 - Heure par Heure12.05.25 - 7h - CAUET SUR EUROPE 2 : « Les gars les moins logiques »Entre celui qui confond les heures et l'autre qui croit doubler sa mise sans gain, bienvenue chez les champions du raisonnement bancal !Distribué par Audiomeans. Visitez audiomeans.fr/politique-de-confidentialite pour plus d'informations.2025-05-1229 min
L'actu économique sur Europe 1Euthanasie : les folles logiques d'une loiDans cet épisode, Vincent Trémolet de Villers analyse les enjeux éthiques et économiques du débat sur la fin de vie en France. Il met en garde contre les dérives potentielles d'une légalisation de l'aide active à mourir, qui pourrait fragiliser la relation de confiance entre patients et soignants, et favoriser une logique économique au détriment des soins palliatifs. Un éclairage nuancé sur un sujet sensible qui divise la société.Notre équipe a utilisé un outil d’Intelligence artificielle via les technologies d'Audiomeans© pour accompagner la création de ce contenu écrit.Distribué pa...2025-05-1203 minL'édito politique - Alexis Brézet & Vincent Trémolet de VillersEuthanasie : les folles logiques d'une loiDans cet épisode, Vincent Trémolet de Villers analyse les enjeux éthiques et économiques du débat sur la fin de vie en France. Il met en garde contre les dérives potentielles d'une légalisation de l'aide active à mourir, qui pourrait fragiliser la relation de confiance entre patients et soignants, et favoriser une logique économique au détriment des soins palliatifs. Un éclairage nuancé sur un sujet sensible qui divise la société.Notre équipe a utilisé un outil d’Intelligence artificielle via les technologies d'Audiomeans© pour accompagner la création de ce contenu écrit.Distribué pa...2025-05-1203 minL'actu politiqueEuthanasie : les folles logiques d'une loiDans cet épisode, Vincent Trémolet de Villers analyse les enjeux éthiques et économiques du débat sur la fin de vie en France. Il met en garde contre les dérives potentielles d'une légalisation de l'aide active à mourir, qui pourrait fragiliser la relation de confiance entre patients et soignants, et favoriser une logique économique au détriment des soins palliatifs. Un éclairage nuancé sur un sujet sensible qui divise la société.Notre équipe a utilisé un outil d’Intelligence artificielle via les technologies d'Audiomeans© pour accompagner la création de ce contenu écrit.Distribué pa...2025-05-1203 minL'édito politiqueEuthanasie : les folles logiques d'une loiDans cet épisode, Vincent Trémolet de Villers analyse les enjeux éthiques et économiques du débat sur la fin de vie en France. Il met en garde contre les dérives potentielles d'une légalisation de l'aide active à mourir, qui pourrait fragiliser la relation de confiance entre patients et soignants, et favoriser une logique économique au détriment des soins palliatifs. Un éclairage nuancé sur un sujet sensible qui divise la société.Notre équipe a utilisé un outil d’Intelligence artificielle via les technologies d'Audiomeans© pour accompagner la création de ce contenu écrit.Distribué pa...2025-05-1203 min
Santé publique (2024-2025) - Nathalie Bajos02 - La production sociale des inégalités de santé : Covid-19 : les logiques sociales de la préventionNathalie BajosSanté publique (2024-2025)Collège de FranceAnnée 2024-202502 - La production sociale des inégalités de santé : Covid-19 : les logiques sociales de la préventionRésuméEn France et dans de nombreux pays, les personnes appartenant aux catégories sociales les plus défavorisées et aux minorités ethnoraciales ont moins recours à la vaccination contre le Covid-19. Ces personnes sont, par ailleurs, plus souvent confrontées que les autres à diverses formes de discriminations. À partir des données d'une...2025-05-0657 min
Librairie MollatRoland Gori - Dé-civilisation : les nouvelles logiques de l'emprise"Dé-civilisation : les nouvelles logiques de l'emprise" aux éditions Les Liens qui Libèrent. Entretien avec Sylvie Hazebroucq.Hébergé par Ausha. Visitez ausha.co/politique-de-confidentialite pour plus d'informations.2025-04-021h 02
Réveille-toi ! Revèle-toi !Utiliser la pyramide des niveaux logiques pour transformer tes croyances et comportementsÊtes-vous prêt à transformer votre vie en profondeur ? Dans cet épisode captivant de "Réveille-toi ! Révèle-toi !", Diane et Jérémy d'Autonovie vous plongent dans l'univers fascinant de la pyramide des niveaux logiques, un outil incontournable de la programmation neurolinguistique (PNL). Cet outil puissant vous permet de décortiquer vos croyances, valeurs, capacités, comportements, identité et sens, tout en vous aidant à comprendre comment ces éléments s'entrelacent pour façonner votre réalité.Jérémy partage des insights précieux sur l'importance de cet outil pour aborder les défis personnels et professi...2025-03-0942 min
Connaissance de Soi ♾️ par Nico PèneComment Lire dans les PENSÉES ?NOUVEAU ! Décoder comme un Mentaliste :https://www.academie-nicopene.com/decoder-mentaliste🤩 Ma MasterClass Gratuite pour découvrir en détail les 9 types ennéagramme :https://enneagramme-alchimie.com/yt-enneagramme📖 Comment Lire dans les Pensées ?Découvrez les Secrets du Mentalisme !Vous êtes-vous déjà demandé ce que quelqu'un pense vraiment ? 🤯Imaginez pouvoir décrypter les mots, les gestes et même l’intonation de votre interlocuteur pour comprendre ce qu’il ne dit pas…Dans cet épisode, je vous révèle les 3 clés fo...2025-02-0706 min
AZIMUT Parlons orientationL'intelligence logico-mathématique : Impact sur l'orientation scolaire et les métiers de demainL’intelligence logico-mathématique, selon Howard Gardner, est une aptitude clé pour résoudre des problèmes complexes et comprendre des concepts abstraits, notamment en mathématiques, en sciences et en logique. Elle guide les jeunes vers des carrières où la pensée analytique et critique est essentielle, telles que l’ingénierie, l’informatique, ou la finance.✅ DANS CET ÉPISODE NOUS ABORDONS :Comment détecter l’intelligence logico-mathématique chez un enfant ou un adolescent, à travers son goût pour les calculs, les jeux de stratégie, et les structures logiques.Comment développer cette intellig...2024-12-0203 min
Choses à Savoir TECHMicrosoft va vendre des ordinateurs quantiques en 2025 ?L’informatique quantique, longtemps confinée aux laboratoires, fait un pas de géant vers la réalité. Lors de la conférence Microsoft Ignite 2024, Microsoft et son partenaire Atom Computing ont annoncé avoir atteint un nouveau record : l’enchevêtrement de 24 qubits logiques, une prouesse technologique qui pourrait transformer le paysage informatique mondial. Les qubits logiques, unité de base des calculs quantiques, sont créés à partir de qubits physiques, eux-mêmes constitués d’atomes neutres maintenus en lévitation par des faisceaux laser ultra-précis. Cette technologie repose sur les principes de la mécanique quantique pour...2024-11-2401 min
Une Cession Presque Parfaite : Dans les coulisses de la transmission d'entreprisesDirigeants, comment fixer et sécuriser le prix de cession de votre entreprise pour éviter les mauvaises surprises ?Dirigeants, comment fixer et sécuriser le prix de cession de votre entreprise pour éviter les mauvaises surprises ?Dirigeants d’entreprises, vous vous apprêtez à vendre votre société et une question essentielle se pose : comment fixer et sécuriser le prix de vente ? Entre ajustement de la dette, maîtrise du BFR, et analyse des flux financiers, choisir la bonne méthode peut faire toute la différence.Locked Box ou Comptes au Closing ? Deux approches, deux logiques, mais un même objectif : éviter les mauvaises surpri...2024-11-221h 10
L'Art de ConnecterLa responsabilité dans les relations : comprendre et assumer notre partAujourd'hui, je plonge dans un sujet délicat mais essentiel : la responsabilité dans la relation.Tout au long de cet épisode, je partage mes réflexions et expériences personnelles sur comment nous pouvons assumer notre part de responsabilité dans les dynamiques relationnelles. Je parle de mes années d'avocate et de mes découvertes en tant que coach, notamment à travers des outils et théories comme les niveaux logiques et la théorie polyvagale.Je vous invite à explorer comment nous pouvons identifier et modifier nos croyances internes pour transformer...2024-11-1212 min
Association ScenariAVH : Projet de modélisation de livres scolaires pour faciliter l'adaptation pour les publics en situation de handicapBasile Mignonneau - Association Valentin Haüy & Ludovic Gaillard - Kelis
https://scenari.org/rencontres2024/co/AccessAvhLivresScol.html
Dans le cadre d'une étude, l'AVH et Kelis explorent les possibilités de modélisation des manuels scolaires afin de faciliter les logiques d'adaptation du contenu fonction des différentes situations de handicap rencontrées par les élèves.
Au vue de la diversité des structures des manuels, ce projet s'appuie majoritairement sur les nouvelles logiques de modélisations via l'usage des "types de".
Présentation et démonstration de l'état d'avancement du projet.
2024-10-2800 min
Kinéline - Le bien-être émotionnel pour toute la familleE032 - Les conséquences logiques et les non punitions (Parents)Dans cet épisode, nous explorons comment appliquer des conséquences logiques et efficaces pour enseigner la responsabilité à nos enfants, plutôt que de céder à la tentation de crier ou de punir sur un coup de tête. Nous abordons des stratégies pratiques pour transformer chaque situation en une opportunité d'apprentissage, tout en créant un environnement sécurisant et respectueux.Moments forts de l'épisode :L'importance de la prévention : Comment établir des règles claires et prévenir les comportements indésirables avant même qu'ils...2024-10-2611 min
Connaissance de Soi ♾️ par Nico PènePensées obsessionnelles : Les 3 piliers pour casser la boucle👇 Pour en finir avec ton Mental Envahissant (cité dans l’épisode) : 👇
https://www.academie-nicopene.com/mental-envahissant
Imagine un instant, ces pensées qui tournent en boucle, te parasitent et t'épuisent. Tu as l'impression d'être condamné à ce tourbillon incessant?
Et si je te disais qu'il existe une issue?
Dans cet épisode, je vais te révéler 3 piliers essentiels pour enfin apaiser ton mental envahissant.
Ce ne sont pas de simples conseils, mais des principes fondamentaux issus de mon derni...2024-09-2611 min
Smart ConversationCARMA 07 - Se RéaliserDans notre podcast, nous explorons le concept de "CARMA", un acronyme qui sert de fil conducteur pour aider les adolescents et les jeunes adultes à naviguer à travers cette période de leur vie, et pour aider les parents à les accompagner. Le "CARMA" se décompose comme suit :
C pour se Connaître
A pour s'Apprécier
R pour se Réaliser
M pour se Motiver
A pour Agir
Chaque lettre représente une étape clé dans le développement personnel et dans la relation entre les adolescents et leurs parents.
Quelques idées clés à retenir de cet...2024-06-1320 min
la conversation - by héloïseLes niveaux logiquesOn dit souvent que comprendre qui on est, ce qu’on fait, pourquoi on est là, c’est essentiel pour réussir dans ses projets. Et c’est vrai.Aujourd’hui dans La Conversation, ce n’est pas moi qui pose les questions, c’est à moi qu’on les pose, pour comprendre qui je suis, ce que je fais, et trouver ce qui me permettra de progresser et d’aller plus loin dans mes projets. Irvin vous fera découvrir ce que sont les niveaux logiques, avec un exemple tiré de mes expériences.Retrouvez Irv...2024-05-0830 min
Penn Ar WebLaure Bouscasse des Portes Logiques lors de la Crémaillère de FLUXLors de l'inauguration de FLUX, tiers lieu inclusif et apprenant, nous avons interviewé Laure Bouscasse des Portes Logiques
Après avoir initié le projet d'atelier partagé "La baleine" en 2017, où pendant 6 ans Les Portes Logiques ont animé l'openatelier et autres résidences en son sein, elle ouvre son fablab à FLUX : 70m2 d'espace pour permettre les échanges et pratiques dédiés à la culture numérique à Quimper.
Les activités de l'association se poursuivent : ateliers avec des jeunes, résidence de création, formation et projets remplissent l'agenda.
Au programme : toujours les openateliers tous les mardis de 15h à 21h, des...2023-11-1700 min
Parents pour la 1re foisLes conséquences logiques avec Sarah Hamel, psychoéducatrice (S5 E19)Qu'est-ce qu'une conséquence logique? Qu'est-ce que la différence entre une conséquence logique, une conséquence naturelle et une punition? (!) ...Est-ce que ces types de conséquences fonctionnent vraiment et est-ce que les conséquences sont optimales pour le développement des enfants? Toutes des questions auxquelles Sarah répond & plus encore!2023-08-151h 24
Minuit dans le siècleAux sources du vote FN/RN (2) : concurrences et solidarités dans les campagnes en déclinIl faut évidemment refuser le discours dominant selon lequel les classes populaires seraient passées à l'extrême droite. Tenu aussi bien par des néolibéraux que par des idéologues ou des politiciens proches du FN/RN, ce discours valide les prétentions de ce parti : être devenu le parti du peuple, des ouvriers, des gens "modestes", de la classe travailleuse. Du côté du pouvoir néolibéral et de ses porte-voix, il s'agit - dans un mépris de classe évident - de renvoyer les classes populaires à une forme d'incompétence culturelle et de déviance politique : le peuple serait p...2023-07-101h 18
Connaissance de Soi ♾️ par Nico PèneLes Niveaux Logiques (ou pyramide de Dilts) pour coachs & Thérapeutes📨 La Newsletter Intégrale : https://www.academie-nicopene.com/newsletter-integrale
Enfin, quelques liens pour aller plus loin :
🤩 Ma MasterClass Gratuite pour découvrir en détail les 9 types ennéagramme : https://enneagramme-alchimie.com/yt-enneagramme
🌀 Découvre les 8 niveaux de la Spirale Dynamique : https://enneagramme-alchimie.com/yt-spirale
🎓 Coaching & Thérapie par l’ennéagramme : https://www.academie-nicopene.com/a/2147526319/MFYLCDtf
----
Spécialiste en psychologie de la personnalité, Nico Pène est auteur & formateur depuis 2011.
Aujourd’hui il se spécialise dans l’accompagne des coachs, thérapeutes (ou e...2023-06-2514 min
Mieux vivreEp.29 - Comment "les lois du temps" peuvent-elles être utiles pour vous aujourd'hui ?Nous allons parler aujourd'hui des "lois du temps".
Les lois du temps, ce sont des règles qui ont été observées dans la gestion du temps.
Mais tout d'abord, je vous propose de regarder vos voleurs de temps : qu'est-ce qui vous vole du temps dans votre vie quotidienne?
Vous avez deux types de voleurs de temps :
- Les voleurs de temps externes : les appels téléphoniques imprévus ou trop longs, les repas d'affaires, les collègues exposant leurs problèmes ...
- Les voleurs de temps internes : des objectifs et priorités confus e...2023-06-1208 min
Trouve ta place avec Maximise ton potentielDévelopper son intelligence émotionnelle en découvrant ses besoins fondamentaux.Sais-tu que comprendre tes émotions et satisfaire tes besoins fondamentaux peut changer complètement ta vie ?
Eh oui, ça peut sembler fou, et pourtant, c’est fondamental, c'est comme si tu as soudainement un super pouvoir émotionnel.
Tu seras capable de gérer le stress, de construire des relations plus saines, et surtout d'améliorer ton bien-être global.
Tu trouveras ici 2 clés imparables, qui sont les piliers de notre épanouissement et de notre harmonie personnelle.
Sans connaître cela, tu te retrouves confronté à des obstacles qui t’empêchent d'être satisfait.
Rejo...2023-06-0526 min
THE BIG SHIFT ! Écologie[FOCUS] 🔎 Les signaux qui te disent qu’il est temps de changer de job 😨❤️ Sponsorisé par La NEF ! Ouvre un compte d'épargne sécurisé qui finance uniquement des projets écologiques, sociaux et culturels en 3 clics : https://www.lanef.com/particuliers/ouvrir-livret-nef?pk_campaign=livret&pk_source=podcast&pk_medium=thebigshift Quelles questions se poser pour savoir si tu dois changer de travail ?
- Est-ce que tu sais expliquer ton travail à ta grand-mère et tu en es fier/fière ?
- Comment te sens-tu le dimanche soir ?
Evidemment, celles-ci sont les plus logiques.
Mais avez-vous fait l’exercice ?
Fabien Sécherre de Job That...2023-03-2404 min
Trouve ta place avec Maximise ton potentielRetrouver du sens sans passer par la crise de vie, c’est possible. Niveaux logiques 6.Tu sais le moment où tu te retrouves avec ce truc que tu ne sais plus quoi pourquoi comment dans ta vie…🧐
As-tu déjà ressenti ce sentiment étrange de ne pas être aligné ?
D’être piégé, coincé dans une situation qui ne te correspond pas ?
t’es-tu déjà dit qu’il fallait que cela change ?
La difficulté dans ces situations est de pouvoir identifier quel est exactement le grain de sable qui perturbe ta mécanique.
Dans ces moments on...2023-02-2723 min
La StoryL’assurance chômage, la réforme dans la réformeLa réforme des retraites n'est pas la seule sur la table, les termes de l’indemnisation des chômeurs vont être aussi discutés avec les partenaires sociaux pour les années à venir. Dans « La Story », le podcast d’actualité des « Echos », Pierrick Fay et Alain Ruello décryptent les nouvelles logiques de l’assurance-chômage avec l’entrée en jeu de la « contracyclicité ».La Story est un podcast des « Echos » présenté par Pierrick Fay. Cet épisode a été enregistré en janvier 2023. Rédaction en chef : Clémence Lemaistre. Invité : Alain Ruello (journaliste au service France des « Echos »). Réalisation ...2023-01-2619 min
Vocabulaire AllemandVocabulaire Allemand | Connecteurs Logiques 🔗Révisez votre Allemand et améliorez votre vocabulaire partout avec nos podcasts !
Dans cet épisode, nouveau thème de vocabulaire sur les connecteurs logiques !2022-11-0402 min
Els pòdcasts del Temps de les ArtsMarion Betriu: “Costa molta arribar a la gent de Terrassa”A Terrassa tenen un tresor. Un tresor que molts terrassencs desconeixen, i que es diu TNT. Un festival de noves tendències escèniques que, en tretze anys, s'ha col·locat a l'avantguarda estatal i que cada any ens ofereix propostes sorprenents de gent molt jove. Marion Betriu fa tres anys que el dirigeix i, contra tot pronòstic, ha sabut fer-lo créixer.
Betriu és una dona bregada a l'escena madrilenya, un lloc més dur que Barcelona. Abans del TNT va treballar als Teatros del Canal amb Àlex Rigola i va dirigir el desaparegut festival Fringe de Madrid. I està d...2022-09-2900 min
LeadershiftEpisode 153: Les 7 logiques de leadershipDonnez-moi votre feedback par SMS (mobile uniquement)!Série d'articles dans "On Leadership" (1&2), collection HBR's 10 Must Reads"Seven Transformations of Leadership" (David Rooke, William Torbert)Ce qui différencie les leaders: pas leur philosophie, leur personnalité, leur style mais…. leur logique d'action.Donc comprendre notre logique d'action, donc nos "moteurs".Donc découvrir ce que nous sommes puis le devenir, dans la logique matérialiste déterministe.Deviens ce que tu es (Pindare) - Amor Fati (Nietszche)7 logiques de leadership = 7 manières de penser et d'agir2022-09-0516 min
Anecdate#19 - La différence de taille (Feat Lena Farl)La taille ça compte ?
N'ayez pas l'esprit mal placé s'il vous plait... Je vous demande si pour vous, la taille de votre partenaire compte ? Ou alors, peut-être que les gens s'en fichent, et que la seule chose qui compte est la taille du coeur ?
Pour répondre à cette question, je suis parti à la rencontre de Lena et nous avons eu une discussion plus qu'enrichissante ! Au-delà des standards de beauté que la société nous vend, n'y aurait-il pas des logiques patriarcale derrière ce débat sur la taille et la virilité ?
Donnez-nous votre a...2022-06-2933 min
Connaissance de Soi ♾️ par Nico PènePNL : La mystérieuse pyramide de Dilts (ou Niveaux Logiques)Ici toutes les ressources citées dans le podcast :
Mon dernier livre : https://amzn.to/3LE9CMB
MasterClass Ennéagramme : https://enneagramme-alchimie.com/pod-enneagramme
La Spirale Dynamique : https://enneagramme-alchimie.com/pod-spirale
Cette semaine, sur le podcast "Connaissance de Soi", je te parle d’un concept FONDAMENTAL de la PNL (programmation neurolinguistique) : les Niveaux logiques.
Également appelé pyramide de Dilts (d’ailleurs, nous verrons en quoi ce n’est pas véritablement une pyramide), cet outil est redoutablement efficace en coaching ou autocoaching.
Comme tu vas le découvrir, les 6 niveaux logiques vont...2022-05-0247 min
Festival finistellaireBibliothèque des imaginaires de l'association Les Portes LogiquesInterview de Laure Bouscasse et Pierre Commenge de l'association Les Portes Logiques lors du Festival Finistellaire, festival des imaginaires SFFF, organisé par La 29ème Dimension au Centre des Abeilles en novembre 2021
Les Portes logiques présen...
2022-02-1400 min
Festival finistellaireBibliothèque des imaginaires de l'association Les Portes LogiquesInterview de Laure Bouscasse et Pierre Commenge de l'association Les Portes Logiques lors du Festival Finistellaire, festival des imaginaires SFFF, organisé par La 29ème Dimension au Centre des Abeilles en novembre 2021
Les Portes logiques présentait quelques-uns des 200 ouvrages de la « Bibliothèque des imaginaires » que l’association met à disposition de ses adhérents.
2022-02-1400 min
La StoryCOP 26 : en a-t-on fait assez pour la planète ?L’écologie doit être une question de bon sens, défend Bertrand Piccard, pas une idéologie. Dans « La Story », le podcast d’actualité des « Echos », Pierrick Fay et ses invités reviennent sur le bilan en demi-teinte d’une conférence internationale pour le climat annoncée comme décisive pour la planète et sur les solutions qui doivent être mises en place d’urgence pour la préserver.La Story est un podcast des « Echos » présenté par Pierrick Fay. Cet épisode a été enregistré en novembre 2021. Rédaction en chef : Clémence Lemaistre. Invités : Bertrand Piccard (psyc...2021-11-2222 min
Les Socquettes en titane - Parlons vélo!Episode 22 🚴♀️ octobre 2021Ce vendredi 8 octobre à 18h dans Les Socquettes en titane sur @radiocampusbruxelles , nous avons eu le plaisir d’accueillir :
🚴
@benoit.hellings , premier échevin de la ville de Bruxelles chargé du Climat et des Sports. Il vient nous expliquer en quoi consiste le nouveau label, “Ville à vélo du Tour de France” dont Bruxelles bénéficie depuis cette année.
🚴
Anne et Aurélie nous dévoilent en avant première la campagne menée par @gracq_levelocestmaintenant et @provelo_asbl.vzw qui sera lancée le 11 octobre sur le thème de la cohabitation entre les...2021-10-161h 25
Espai Avinyó - Llengua i culturaAlimentació Sostenible | El cost de la fruitaEn el marc de la Setmana mundial de l'alimentació sostenible i del 12 d'octubre, es proposa un espai de diàleg al voltant del documental "El cost de la fruita", un retrat coral de les vides precaritzades dels treballadors de temporada, majoritàriament d'origen subsaharià i magrebí, i dels petits pagesos que cada estiu treballen als camps de Lleida.
Amb aquest marc, es proposa fer un exercici de revisió i anàlisi històrica sobre la continuïtat de les lògiques colonials de l'economia de plantació, a través de les formes de producció, distribució i consum d'aliments a escala local i global...2021-10-1300 min
Palestine terrains sonoresEpisode 7 Les compétences politiques du squat : coloniser la PalestinePourquoi choisir l’image du squat pour parler d’une réalité politique et territoriale violente ? Comment coloniser la Palestine après les accords d’Oslo ? Qui sont les colons des avant-postes ? Youssef Mnaili est doctorant en sciences politiques à l’Institut Européen de Florence depuis 2016. Il a mené son terrain de thèse en Israël-Palestine de 2019 à 2020. Il finit de rédiger sa thèse qui s’intitule Administrating Palestine: Logics of Israeli (In)direct governance of the West Bank since 1967 — en français Administrer la Palestine : les logiques de gouvernance indirecte et directe par l’Etat d’Israël en Cisjordanie depuis 1967...2021-09-1338 min
Sciences du logiciel - Xavier Leroy07 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsDans le cinquième cours, nous avons étudié quatre extensions des logiques de séparation des précédents cours qui permettent ou facilitent la spécification et la vérification d'une plus large classe de programmes.La première extension est l'opérateur d'implication séparante, familièrement appelé « baguette magique » en raison de sa forme, qui est l'adjoint de la conjonction sé...2021-04-151h 18Sciences du logiciel - Xavier Leroy06 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsDans le cinquième cours, nous avons étudié quatre extensions des logiques de séparation des précédents cours qui permettent ou facilitent la spécification et la vérification d'une plus large classe de programmes.La première extension est l'opérateur d'implication séparante, familièrement appelé « baguette magique » en raison de sa forme, qui est l'adjoint de la conjonction sé...2021-04-081h 29Sciences du logiciel - Xavier Leroy05 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsDans le cinquième cours, nous avons étudié quatre extensions des logiques de séparation des précédents cours qui permettent ou facilitent la spécification et la vérification d'une plus large classe de programmes.La première extension est l'opérateur d'implication séparante, familièrement appelé « baguette magique » en raison de sa forme, qui est l'adjoint de la conjonction sé...2021-04-011h 22
Maghrib in Past & Present | PodcastsLes significations profanes de la pandémie Covid-19 à Oran
Episode 115: Les significations profanes de la pandémie Covid-19 à Oran
Dans ce podcast, Pr. Mohamed Mebtoul présente les résultats de son enquête menée à Oran, avec la participation de l’Association Santé Sidi El Houari et L’Observatoire Régional de la Santé d’Oran sur les significations profanes de la pandémie Covid-19. D'après lui, les mots, les métaphores et les propos des personnes sont essentiels pour comprendre les sens attribués à la pandémie Covid-19 à Oran. Les sens du mal sont importants à mettre en exergue. Ils traduisent les rapports des individus à la société et au politique. Se...2021-03-2535 minSciences du logiciel - Xavier Leroy04 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsLes processeurs multicœurs sont un exemple d'architecture parallèle à mémoire partagée, où plusieurs unités de calcul travaillent simultanément sur une mémoire commune. La programmation de ces architectures est difficile : il faut maîtriser les interférences possibles entre les actions des processus, et éviter les courses critiques (race conditions) entre des écritures et des lectures simultanées.Quelles log...2021-03-251h 21
Pierre Cocheteux - Expert en Développement Commercial, Leadership et Motivation.# 53 - Les niveaux logiques de Robert DiltsBonjour, je suis Pierre Cocheteux, votre Ikigaï Business Coach ! Dans ce nouvel épisode, je vous parle d'un outil que j'utilise beaucoup lors de mes coaching, c'est la pyramide des niveaux logiques de Robert Dilts !Pour accéder à mon groupe Facebook privé, et à tout son contenu dédié, copie/colle le lien suivant dans ton navigateur : https://www.facebook.com/groups/scaletonbusinessDeviens membre de la communauté d'entrepreneur pour créer un business épanouissant et rentable : https://www.facebook.com/groups/scaletonbusiness**RÉSEAUX SOCIAUX **🌐 Site Web: Clique-ici ( https://pierrecocheteux.com/ )🎥 Youtube: Cli...2021-03-1306 minSciences du logiciel - Xavier Leroy02 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsLe deuxième cours a été consacré à l'étude approfondie des « logiques de Hoare », c'est-à-dire des logiques de programmes qui suivent l'approche introduite par C. A. R. Hoare en 1969. Nous avons défini une telle logique de programmes pour le langage IMP, un petit langage impératif à contrôle structuré que nous avions déjà étudié dans le cours 2019-2020 « Sémantiques mécanisées ». Nous avons ensuit...2021-03-111h 22Sciences du logiciel - Xavier Leroy01 - Logiques de programmes : quand la machine raisonne sur ses logicielsXavier LeroyCollège de FranceScience du logicielAnnée 2020-2021Logiques de programmes : quand la machine raisonne sur ses logicielsRésuméComment s'assurer qu'un logiciel fait ce qu'il est censé faire ? Les méthodes classiques de vérification et de validation du logiciel, reposant sur le test, les revues et les analyses, ne suffisent pas toujours. La vérification déductive permet d'aller plus loin en établissant des propriétés vraies de toutes les exécutions possibles d'un programme, via des raiso...2021-03-041h 14
Això RaiAixò de les no-monogàmies (1x08)Tenim la sort de comptar amb en @zoe.grks per parlar de no-monogàmies. Parlem sobre com construir una xarxa afectiva sana que s'allunyi de la cultura monògama i les seves lògiques com, per exemple, el consum de cossos i els gelos. Vaja, que l'amor com ens l'han fet entendre no és ni tan lliure ni tan de flors i violes.2021-01-1236 min
Le Quart d'Heure d'Inspir'ActionAligner ses Objectifs de Vie avec sa Vision – partie 2 – E013Dans cet épisode, nous continuons l'exploration de ce super outil que je t'avais présenté lors du précédent épisode : les niveaux logiques.Pour que tu puisses mieux comprendre comment tu peux utiliser cet outil de PNL, je te partage 2 exemples concrets.
— Les sujets abordés :(1:20) Un rappel rapide de ce qu'est cet outil : les niveaux logiques(2:25) Je te partage un premier exemple d'utilisation de cet outil : comment tu peux relier un de tes objectifs de vie avec ta vision en utilisant les 6 niveaux de cette échelle.(12:33) Le second exemple que je te partage...2020-07-1220 minLe Quart d'Heure d'Inspir'ActionAligner ses Objectifs de Vie avec sa Vision – partie 1 – E012Dans cet épisode, je te présente un de mes outils de coaching préférés : les Niveaux Logiques. C’est un outil qui a été modélisé par le célèbre Robert Dilts et qui permet de mieux comprendre la manière dont on organise l'information dans notre quotidien.
— Les sujets abordés :(1:45) Présentation de l'outil Niveaux Logiques et son objectif et quelques exemples de situations dans lesquelles tu peux utiliser cet outil.(2:45) Présentation détaillée des 6 échelons des niveaux logiques : Environnement, Comportements, Capacités / Compétences, Valeurs / Convictions, Identité et Mission...2020-07-0515 min
Les échos-logiquesL’écologie scientifique nous éloigne-t-elle de la biodiversité ?Dans les discours écologistes actuels, on utilise le terme biodiversité à toute les sauces. De même, on demande à l’écologie scientifique de nous fournir des indicateurs fiables de cette biodiversité, éléments indispensables pour évaluer l’état des écosystèmes, faire des modèles de prévision, hiérarchiser les services écosystémiques… etc. Mais par “biodiversité”, sait-on vraiment de quoi on parle ? A quel point nos indicateurs sont-ils représentatifs de la biodiversité, permettent-ils vraiment d’en apprécier la complexité ?
Avec cette vision de l’écologie, on perd alors le fondamental : observer et décrire la diversité du vivant qu’on ne connaît2020-05-1808 minLes échos-logiquesComment la biodiversité nous a éloigné du sauvage ?La plupart des opérations de restauration ou de réhabilitation d’écosystèmes sont fondées sur des mesures imparfaites de la biodiversité. Difficile alors de laisser le “sauvage” s’exprimer. D’autant plus que celui-ci est contraint par des millénaires d’interactions Homme-nature, et par l’omniprésence de l’Homme dans le fonctionnement de la biosphère. Ré-ensauvager nos espaces naturels est-il alors possible dans ce contexte?2020-05-1406 minLes échos-logiquesLa naturalité est-elle synonyme de biodiversité ?La naturalité, c’est l’inverse de l’artificialisation : une évolution relativement autonome d’un milieu, sans l’homme, bien que difficile à appréhender et discutable, car l’homme est partout d’une manière ou d’une autre. Ainsi, si l’on considère les forêts comme des milieux les plus naturels sur le continent européen, la biodiversité y est-elle supérieure à celle de milieux plus façonnés par l’homme ? En est-elle un refuge ?2020-05-1205 minLes échos-logiquesEt si la biodiversité était une notion obsolète ?La crise sanitaire du Covid-19 génère de nombreux débats, questionnant notre culpabilité en soulignant nos rapports chaotiques avec la nature. La notion de “biodiversité” s’incruste ainsi graduellement dans les débats, mais que penser aujourd’hui de cette notion ? ? Sa création a marqué l’émergence d’une prise de conscience planétaire de la crise du vivant, fait ressortir les interactions comme moteur de la vie, et mis en lumière la place de l’homme au sein de la nature. Mais la notion de biodiversité n’a-t-elle pas, en même temps posé un voile...2020-05-1107 minLes échos-logiquesQuelle nature voulons-nous, quelle nature aurons-nous ?Face à multiplicité des interactions de l’homme avec la nature dans le cadre d'opérations, de restauration, renaturation, réhabilitation, conservation, etc.., que ce cache-t-il derrière ces nouveaux rapports à la nature ? De nouvelles tentatives de maîtrise ou une réelle volonté de la laisser plus naturelle ?2020-05-0805 minLes échos-logiquesLe confinement : l’occasion de questionner notre perception de la nature ?En cette période particulière de pandémie, nombreux sont ceux qui s’émerveillent de voir “la nature reprendre ses droits”. Mais que représentent ces quelques semaines de confinement face à plusieurs siècles de pression humaine ? Notre perception de l’ampleur des dégâts que nous lui infligeons serait-elle biaisée ? Est-elle identique pour tous ? Pour quelles raisons ?2020-05-0705 min
Pop Conf'Pop Conf' - Comment les marques s'emparent de la musique ?POP CONF’Animée par Antoine Pecqueur[CONFÉRENCE]LUNDI 4 MAI À 18H : COMMENT LES MARQUES S’EMPARENT DE LA MUSIQUE ?Avec Suzanne Combo, fondatrice et déléguée générale de la GAM (Guilde des Artistes de la Musique), auteure compositrice interprèteBertrand Burgalat, musicien, auteur compositeur interprète, fondateur et directeur du label TRICATELFabrice Brovelli, musicien, président de General POP et vice-président de BETCLa musique occupe une place primordiale dans le positionnement et l’image des marques. Se pose ainsi la question de l’adaptabilité de la musique aux marques. Comment le marketing en arrive-t-il à instrumentaliser de gr...2020-05-071h 02Pop Conf'Pop Conf' - Comment les marques s'emparent de la musique ?POP CONF’Animée par Antoine Pecqueur[CONFÉRENCE]LUNDI 4 MAI À 18H : COMMENT LES MARQUES S’EMPARENT DE LA MUSIQUE ?Avec Suzanne Combo, fondatrice et déléguée générale de la GAM (Guilde des Artistes de la Musique), auteure compositrice interprèteBertrand Burgalat, musicien, auteur compositeur interprète, fondateur et directeur du label TRICATELFabrice Brovelli, musicien, président de General POP et vice-président de BETCLa musique occupe une place primordiale dans le positionnement et l’image des marques. Se pose ainsi la question de l’adaptabilité de la musique aux marques. Comment le marketing en arrive-t-il à instrumentaliser de gr...2020-05-071h 02
Video lettres histoireConnecteurs logiquesCours sur les connecteurs logiques pour le texte explicatif.
2020-05-0600 min
Video lettres histoireConnecteurs logiquesCours sur les connecteurs logiques pour le texte explicatif.
2020-05-0600 min
Video lettres histoireConnecteurs logiquesCours sur les connecteurs logiques pour le texte explicatif.
2020-05-0600 minLes échos-logiquesRecherches environnementales et enjeux sociétaux peuvent-ils être déconnectés ?Les interdépendances entre l’humain et le non humain sont telles qu’il est aujourd’hui indispensable de les rendre clairement compréhensibles pour l’ensemble de la société. Dans ce contexte, quel rôle doit jouer le monde de la recherche pour informer, sensibiliser et mobiliser la société aux enjeux écologiques auxquels nous sommes confrontés ?2020-05-0504 minLes échos-logiquesL’homme et la société, créateurs de biodiversité ?Depuis qu’il a pris possession de son milieu, qu’il s’est sédentarisé et qu’il a commencé à cultiver, particulièrement durant cette période récente que l’on appelle “Anthropocène”, l’Homme a profondément modifié et maltraité la biodiversité. Mais avant tout cela, a-t-il pu avoir, dans le passé, un impact positif sur cette même biodiversité ? Et aujourd’hui ?2020-05-0406 minLes échos-logiquesLa restauration écologique : naturalité VS fonctionnalitéLa biodiversité et les fonctions écologiques des écosystèmes sont souvent prises en compte comme objectifs principaux des opérations de restauration. Nous restaurons donc pour protéger une espèce rare, pour la fonctionnalité d’un écosystème...
Mais quelle place laisser à la naturalité et aux phénomènes spontanés qui peuvent émerger suite à la dégradation d’un environnement par l’Homme ?2020-05-0104 minLes échos-logiquesBiodiversité marine : une exploration insuffisante ?On demande souvent aux scientifiques de « prédire » comment vont évoluer les écosystèmes marins face aux sociétés humaines qui en dépendent. Mais comment répondre à cette question quand on connaît si peu la biodiversité marine ? Encore aujourd’hui, les espèces marines ne représentent que 20% des nouvelles espèces décrites chaque année alors que les océans représentent 70% de la surface de la Terre… Alors que devrions-nous faire ?2020-04-3004 minLes échos-logiquesLa faune du sol, face cachée mais fondamentale de la biodiversitéNotre vision de la biodiversité se borne généralement aux espèces que nous côtoyons et apprécions : mammifères, oiseaux… etc. On pensera moins souvent aux poissons, et encore moins aux végétaux. Et dans le sol alors ? Plus petits, parfois invisibles et bien moins populaires, les individus qui le peuplent et leurs connexions sont pourtant fondamentales...2020-04-2806 minLes échos-logiquesPourquoi une espèce menacée est une espèce potentiellement disparue ?Au cours des 50 prochaines années, nous serons certainement les tristes témoins de la disparition de 15 à 35% des espèces connues. Pour contrer cette crise, l’Union Internationale de Conservation de la Nature (UICN) établit une liste croissante d’espèces en déclin à sauvegarder. Or, si l’on décide de protéger une espèce quand celle-ci est menacée, n’est-il pas déjà trop tard ?2020-04-2704 minLes échos-logiquesLa reforestation massive permet-elle de lutter contre le changement climatique ?Planter des forêts pour atténuer le changement climatique est une pratique en vogue, mais comment doit-elle être réalisée pour avoir un impact réellement bénéfique ? A l’inverse, la superficie de la forêt française ne cesse d’augmenter spontanément : faut-il s’en réjouir ?2020-04-2406 minLes échos-logiquesRestaurer en milieu marin : une fausse bonne idée ?La restauration écologique est courante sur le continent, où l’homme modifie depuis des siècles des écosystèmes qui n’ont de “naturel” que le nom. Qu’en est-il de cette pratique en mer, un milieu plus sauvage ? Des cultures de nouveaux coraux aux programmes d’aquaculture, que penser de ces dispositifs ?2020-04-2305 minLes échos-logiques“Eviter, Réduire Compenser” : un dispositif impossibleLa “séquence ERC” permet d'Éviter, de Réduire et de Compenser” l’impact d’une action humaine, projet ou dispositif sur un écosystème. Mais en écologie, l’évitement est un leurre : il n’existe pas… Comment alors nous concentrer sur une action efficace ?2020-04-2106 minLes échos-logiquesQuand peut-on dire qu’une opération de restauration est réussie ?Une fois dégradé, un site “naturel” peut être restauré, mais l’opération reste délicate. Comment alors estimer le succès d’une restauration écologique ? Quels indicateurs prendre en compte et pendant combien de temps les mesurer ?2020-04-2005 minLes échos-logiquesPeut-on parler de "services" écosystémiques ?On utilise souvent le terme “service écosystémique” pour démontrer l'intérêt de la biodiversité pour nos sociétés, et le milieu marin n’y fait pas exception. Un vocabulaire anthropocentré et utilitariste peut-être mal choisi...2020-04-1705 minLes échos-logiquesA quoi sert vraiment un espace naturel protégé ?Loin de mettre la nature sous cloche, les parcs nationaux ou régionaux, les réserves et autres espaces protégés sont peut-être de nouveaux lieux pour réintégrer l’Homme au sein de son environnement… mais comment ?2020-04-1604 minLes échos-logiquesIngénierie écologique : restaurer par et pour la nature ?Peut-on utiliser des solutions fondées sur l’environnement (espèces ingénieures des écosystèmes) pour atténuer les impacts des opérations de génie civil en matière de restauration des écosystèmes ?2020-04-1405 minLes échos-logiquesDes solutions fondées sur la nature… au bénéfice de qui ?Pour relever les défis sociétaux auxquels nous sommes confrontés dans le contexte du réchauffement climatique et de la dégradation de la biodiversité, nombreux sont ceux qui préconisent de s’appuyer sur des solutions fondées sur la nature ... Mais qu’entend-on exactement par "solutions fondées sur la nature" et pour qui seraient-elles bénéfiques ? Serait-ce un premier pas vers une évolution des rapports "Homme-Nature" ?2020-04-1305 minLes échos-logiquesL’océan, le dernier espace sauvage ?Les océans restent les zones les moins connues de notre planètes… Ils recèlent d'innombrables richesses dont une biodiversité incroyable dont une grande partie est encore méconnue… comment peut-ont les préserver ?2020-04-1004 minLes échos-logiquesRestaurer ou libérer la nature ?Face à la dégradation et la destruction des écosystèmes, faut-il les restaurer activement selon des références historiques passées ou laisser-faire les processus de résilience naturelle qui nous conduiront peut-être vers de nouveaux écosystèmes ?2020-04-0902 minLes échos-logiquesFace au changement climatique quelles solutions pour les organismes vivants ?Au vu des changements actuels, les organismes n’ont que 2 choix possibles : migrer ou s’adapter, sinon ils disparaissent… Qu’en est-il de l’humanité ?2020-04-0703 minLes échos-logiquesL’écologie scientifique, globalement c’est quoi ?Bien souvent, nous considérons la Nature qui nous entoure comme l'objet d'étude central et unique de l'écologie scientifique. Or, si la Nature est au cœur de cette science, la compréhension de l'environnement, si complexe, ne nécessite-elle pas des interactions scientifiques plus globales ?2020-04-0604 min
Les Voix de la Culture - Radio GrenouilleLes Voix de la Culture#39 avec Francesca Poloniato directrice du ZEF"Les Voix de la Culture", une émission quotidienne en 40 rendez vous d'une demi heure, sur le devenir de la politique culturelle de Marseille.
L'invitée du jour est Francesca Poloniato directrice du ZEF et le témoin est Soizic, du tiers lieu Le Carburateur.
Et retrouvez ci dessous la transcription de l'émission :
Sarah Bourcier : Francesca Poloniato, vous être directrice du Théâtre du Merlan, scène nationale de Marseille. Avant cela, vous avez été directrice de production de la Scène nationale de Besançon, après avoir été secrétaire générale du C...2020-03-1200 minLes Voix de la Culture - Radio GrenouilleLes voix de la Culture#30 avec Papet J, chanteur et musicien."Les Voix de la Culture", une émission quotidienne en 40 rendez vous d'une demi heure, sur le devenir de la politique culturelle de Marseille.
L'invité du jour est le musicien Papet J et le témoin Michel Gairaud journaliste au Ravi.
Et retrouvez ci dessous la transcription de l'émission :
Sarah Bourcier : René Mazzarino alias Papet J, vous êtes connu pour être un des MC principaux de Massilia Sound System, collectif que vous rejoignez en 1995, un an après sa création. Vous étiez alors électricien, métier que vous laisserez de côté pour vous consa...2020-03-0300 minLes Voix de la Culture - Radio GrenouilleLes Voix de la Culture#29 avec Mathilde Rubinstein, coordinatrice générale de Manifesta"Les Voix de la Culture", une émission quotidienne en 40 rendez vous d'une demi heure, sur le devenir de la politique culturelle de Marseille.
L'invitée du jour est Mathilde Rubinstein, coordinatrice générale de Manifesta et le témoin le cuisinier Christian Qui.
Et retrouvez ci dessous la transcription de l'émission :
Sarah Bourcier : Mathilde Rubinstein, vous êtes actuellement coordinatrice générale de la Biennale Européenne de Création Contemporaine Manifesta 13 qui se tient à Marseille cette année. Avant cela, vous avez été directrice adjointe de théâtres de renom à Marseille et Aix-en...2020-03-0200 minLes Voix de la Culture - Radio GrenouilleLes Voix de la Culture#28 avec Ahamada Smis, musicien."Les Voix de la Culture", une émission quotidienne en 40 rendez vous d'une demi heure, sur le devenir de la politique culturelle de Marseille.
L'invité du jour est Ahamada Smis, musicien et le témoin Alessi Dell Umbria, militant de la Plaine et écrivain.
Et retrouvez ci dessous la transcription de l'émission :
Sarah Bourcier : Ahamada Smis, vous êtes musicien franco-comorien. Vous avez vécu aux Comores jusqu’à l’âge de dix ans. Cela fait plus de trente ans que vous vivez à Marseille. Inspiré des musiques traditionnelles comoriennes mais aussi du hip hop au début des années...2020-03-0200 minLes Voix de la Culture - Radio GrenouilleLes Voix de la Culture#20 avec Malte Schwind de la Déviation
"Les Voix de la Culture", une émission quotidienne en 40 rendez vous d'une demi heure, sur le devenir de la politique culturelle de Marseille.
L'invité du jour est Malte Scwind de la Déviation, lieu intermédiaire à l'Estaque et le témoin, Manu Théron de la Cie du Lamparo.
Et retrouvez ci dessous la transcription de l'émission :
Sarah Bourcier : Malte Schwind, vous êtes metteur en scène. Votre spectacle de fin d’études, un diptyque accueilli dans l’Usine, a permis votre découverte par un mélange brut et énergique de collage...2020-02-2400 minLes Voix de la Culture - Radio GrenouilleLes Voix de la Culture#7 avec Julie Demuer du Bureau des guides."Les Voix de la Culture", une émission quotidienne en 40 rendez vous d'une demi heure, sur le devenir de la politique culturelle de Marseille.
L'invitée du jour est Julie De Muer du Bureau des Guides et le témoin est N'Diaye Cardiata de l'association Passerelle.
Et retrouvez ci dessous la transcription de l'émission :
Sarah Bourcier : Julie de Muer, vous êtes née à Évreux. Après avoir développé plusieurs projets et lieux à Paris dans le domaine des cultures innovantes tels que la Guinguette Pirate ou le Batofar, vous vous installez à Marseille en 2003 où vous dirige...2020-02-1000 minLes Voix de la Culture - Radio GrenouilleLes Voix de la Culture#6 avec Pierre Oudart directeur de l'Ecole supérieure d'art et Design"Les Voix de la Culture", une émission quotidienne en 40 rendez vous d'une demi heure, sur le devenir de la politique culturelle de Marseille.
L'invité du jour est Pierre Oudart, directeur de l'Ecole supérieure d'art et de design Marseille, et le témoin, Céline Acker du collectif "les philosophes publics".
Et retrouvez ci dessous la transcription de l'émission :
Sarah Bourcier : Pierre Oudart, vous avez eu plusieurs fonctions au ministère de la culture, à la DGLF pour le développement de l’internet, à la Drac Île-de-France pour l’action culturelle. Après avoir assuré le p...2020-02-0900 min
Séminaire de l'IREM de ParisD. Baroux et M. Bühler - Les éléments de géométrie, d'Euclide au début du XIXe : Convaincre ou éclairer ?L’enseignement de la géométrie a connu de nombreux changements depuis la fin des années soixante-dix, que ce soit au niveau de la place qu’elle occupe dans les programmes, des outils mis à disposition des élèves, ou de la place de la démonstration. Cette dernière reprend de l’importance dans les programmes de collège de 2015 et 2018, qui spécifient que les élèves doivent apprendre à utiliser les outils du cours pour raisonner et démontrer, insistent sur l’importance d’ « une trace de cours claire, explicite et structurée », respectant les « enchaînements logiques ». Alors mêm...2020-02-0400 min
Séminaire de l'IREM de ParisD. Baroux et M. Bühler - Les éléments de géométrie, d'Euclide au début du XIXe : Convaincre ou éclairer ?L’enseignement de la géométrie a connu de nombreux changements depuis la fin des années soixante-dix, que ce soit au niveau de la place qu’elle occupe dans les programmes, des outils mis à disposition des élèves, ou de la place de la démonstration. Cette dernière reprend de l’importance dans les programmes de collège de 2015 et 2018, qui spécifient que les élèves doivent apprendre à utiliser les outils du cours pour raisonner et démontrer, insistent sur l’importance d’ « une trace de cours claire, explicite et structurée », respectant les « enchaînements logiques ». Alors mêm...2020-02-0400 min
La Marcheuse#6 Les petites phrasesPour cet avant-dernier jeudi du mois, il s'agit d'interroger les expressions du langage ordinaire, les tournures, les adverbes, les connecteurs logiques, voire les règles de grammaire appris.e.s par conditionnement au moment de l’enfance, impensé.e.s car jamais interrogé.e.s dans leur oralité, et qui racontent des rapports de domination en train de se tisser, voire des jugements discriminants cristallisés, tapis au plus profond de soi. Des masques de mots, des petites aliénations anodines, des prothèses portées par imitation, puis oubliées au fil des ans et qui nous séparent...2019-10-2408 min
Les débats de la Gryffe2016.01.23 Débat autour du livre « les Na de Lijiazui » avec Pascale-Marie MilanLes Na sont connus dans le paysage ethnologique comme «une société sans père ni mari». Ils ont pour coutume sexuelle la visite nocturne des hommes chez les femmes et ne se marient pas. C’est du moins la vulgate qui s’est répandue à leur propos alors que les modalités de la coutume sont plus complexes qu’il n’y paraît. Elle prévoit à la fois le principe et le fondement des valeurs culturelles qui donnent un sens à la vie sociale et renvoie nécessairement à des fonctions externes, économiques et politiques.C’est dans les montagnes froides du Sichuan (Liang...2019-03-062h 30
ActifsRadio, La radio de l'ESSLes circuits courts alimentaires préfigurent une « autre » économieLes circuits courts alimentaires entre marché et innovation sociale, c’est le sujet de recherche de Yuna CHIFFOLEAU qui vient de sortir aux éditions érès dans la collection sociologie économique dirigée par Jean-Louis LAVILLE.
Ingénieur agronome, docteur en sociologie et directrice de recherche à l’INRA, son ouvrage scientifique s’appuie sur de nombreuses données de terrain et une longue expérience de recherche-action, notamment celle du marché de Grabels, une petite commune située près de Montpellier.
De la production qui marque une volonté de diversification et d’ambition plus écologique, à l’évolution de la distribution et du comporte...2019-02-2627 min
Les débats de la Gryffe2016.03.19 Débat autour du livre de Bernard Lahire "Pour la sociologie"Le système économique actuel, en obéissant à la seule règle de la recherche du profit, génère de plus en plus d’inégalités tout en détruisant les ressources de la planète. Pour faire accepter la barbarie de ce système, les médias dominants et des intellectuels serviles imposent partout une idéologie particulière prétendant que l’individu est « libre » de ses choix dans toutes les circonstances de la vie et donc « responsable ». Cet individu serait donc surtout responsable de ses conditions de vie (par exemple d’être né dans une famille aux faibles ressourc...2019-02-102h 50
Université Populaire de LYONpodcast | Université Populaire de LYON - Article Feed2. Un siècle de politiques d’immigration : quelles logiques sous-jacentes ?Archives municipales de Lyon
En examinant un siècle de politiques relatives à l’immigration nous nous interrogerons sur les logiques sous-jacentes, les contextes et les justifications qui les fondent. Mais aussi sur les débats, souvent contradictoires et idéologiques, auxquelles elles donnent lieu : assimilation, intégration, insertion, peurs, menaces, invasion, identité… Peut-on penser autrement une politique d’immigration pour demain ?
par Gilbert Clavel - le mar 13 Nov, 19h00Matière : Philosophie, Sciences Politiques, SociologieSérie : Un siècle de politiques d'immigration : quelles logiques sous-jacentesLieu : Archives municipale2018-11-1300 min
Algorithmes, machines et langages - Gérard Berry05 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Sixième leçon : La vérification de modèles (model-checking)
Ce cours termine la présentation générale des méthodes de vérification formelle par la vérification de modèles, plus connue sous son nom anglais original de model-checking. Cette méthode est bien différente des précédentes car elle s’intéresse essentiellement aux programmes d’états finis, ceux dont on peut au moins conceptuellement dérouler complètement toutes les exécutions possibles en temps et espace fini. De plus, cont...2015-03-251h 03Algorithmes, machines et langages - Gérard Berry05 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Cinquième leçon : La vérification de modèles (model-checking)
Ce cours termine la présentation générale des méthodes de vérification formelle par la vérification de modèles, plus connue sous son nom anglais original de model-checking. Cette méthode est bien différente des précédentes car elle s’intéresse essentiellement aux programmes d’états finis, ceux dont on peut au moins conceptuellement dérouler complètement toutes les exécutions possibles en temps et espace fini. De plus, cont...2015-03-251h 03Algorithmes, machines et langages - Gérard Berry04 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Quatrième leçon : Des logiques d'ordre supérieur à la programmation vérifiée en Coq
Ce cours complète le précédent en terminant la présentation des méthodes générales de preuve de programmes par celle fondée sur les logiques d’ordre supérieur (celles où l’on peut aussi quantifier sur les prédicats) et sur le lambda-calcul déjà présenté en détail dans le cours 2009-2010. Nous montrons d’abord pourquoi l’ordre supérieur est plus expressif que l’or...2015-03-181h 12Algorithmes, machines et langages - Gérard Berry04 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Quatrième leçon : Des logiques d'ordre supérieur à la programmation vérifiée en Coq
Ce cours complète le précédent en terminant la présentation des méthodes générales de preuve de programmes par celle fondée sur les logiques d’ordre supérieur (celles où l’on peut aussi quantifier sur les prédicats) et sur le lambda-calcul déjà présenté en détail dans le cours 2009-2010. Nous montrons d’abord pourquoi l’ordre supérieur est plus expressif que l’or...2015-03-181h 12Algorithmes, machines et langages - Gérard Berry03 - Prouver les programmes : pourquoi, quand, comment ? - PDFGérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Troisième leçon : Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve
Il y a deux principaux types de méthodes formelles pour la preuve de programme : les méthodes générales, qui s’adressent à tous les types de programmes et seront présentées dans ce cours, et celles de la vérification de modèles (model-checking), qui s’intéressent principalement aux programmes à espaces d’états finis et aux circuits électroniques et seront traitées dans le cours...2015-03-111h 11Algorithmes, machines et langages - Gérard Berry03 - Prouver les programmes : pourquoi, quand, comment ?Gérard Berry
Algorithmes, machines et langages
Année 2014-2015
Prouver les programmes : pourquoi, quand, comment ?
Troisième leçon : Les méthodes générales : assertions, réécriture, interprétation abstraite, logiques et assistants de preuve
Il y a deux principaux types de méthodes formelles pour la preuve de programme : les méthodes générales, qui s’adressent à tous les types de programmes et seront présentées dans ce cours, et celles de la vérification de modèles (model-checking), qui s’intéressent principalement aux programmes à espaces d’états finis et aux circuits électroniques et seront traitées dans le cours...2015-03-111h 11