Look for any podcast host, guest or anyone
Showing episodes and shows of

Les Echos-logiques

Shows

Dazibao Le PodcastDazibao Le PodcastEpisode 44 : Sophie - Infrastructures numĂ©riques : L'Australie et les Etats insulaires du Pacifique📡 Comment les infrastructures numĂ©riques deviennent-elles des outils de diplomatie et de rivalitĂ©s stratĂ©giques ? Dans ce nouvel Ă©pisode, je reçois Sophie Hamel, doctorante en gĂ©ographie, pour parler de sa thĂšse en cours sur les politiques australiennes d’aide au dĂ©veloppement numĂ©rique dans les États insulaires du Pacifique. Son travail explore en profondeur la maniĂšre dont l’Australie mobilise l’aide au dĂ©veloppement pour dĂ©fendre ses intĂ©rĂȘts et concurrencer l’influence croissante de la Chine dans la rĂ©gion. Sophie interroge les logiques de puissance qui s...2025-06-051h 35Jolipapa : Un podcast pour les beaux pĂšresJolipapa : Un podcast pour les beaux pĂšresComment changer les choses | Episode #022đŸŽ™ïž Épisode 22 — Comment faire Ă©voluer une situation familiale difficile ? (L’outil des niveaux logiques expliquĂ©)Cet Ă©pisode est un incontournable si tu veux mieux comprendre pourquoi certaines tensions familiales reviennent sans cesse — et surtout, comment les transformer.👉 je te partage aujourd'hui un outil puissant issu du coaching : les niveaux logiques de Robert Dilts, pour t’aider Ă  :Mieux gĂ©rer les conflits avec tes beaux-enfants (devoirs, Ă©crans, etc.)Te sentir enfin Ă  ta place comme beau-pĂšre, sans te suradapter ni t’effacerSortir des rĂŽles figĂ©s (“le mĂąle alpha”, “la piĂšce rapportĂ©e”) et...2025-06-0254 minL\'Ă©dito politiqueL'Ă©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 minSantĂ© publique (2024-2025) - Nathalie BajosSantĂ© 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 minOutOutPersuasion : Pourquoi les faits ne servent Ă  rien (ou presque)Si tu es infopreneur, tu as sĂ»rement dĂ©jĂ  vĂ©cu ça : Tu as un super programme. Tu as des preuves. Des rĂ©sultats. Des tĂ©moignages. Et pourtant
 tes prospects ne bougent pas.C’est frustrant, surtout quand tu sais que ton offre peut vraiment les aider. Mais t’as l’impression qu’ils sont
 sourds Ă  la logique.Dans cet Ă©pisode, j’analyse un article puissant de James Clear : "Why Facts Don’t Change Our Minds". Cet article peut transformer ta maniĂšre de vendre Ă  tout jamais.DĂ©couvre...2025-04-0942 minLibrairie MollatLibrairie 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 02RĂ©veille-toi ! RevĂšle-toi !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 minConnaissance de Soi ♟ par Nico PĂšneConnaissance 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 minAfterwork(place)Afterwork(place)#26 - Pourquoi se bloquer avec un bail quand le bureau flexible change tout ? avec Mehdi Dziri de UBIQDans cet Ă©pisode de l’Afterwork(place), Martin accueille Mehdi Dziri, Directeur gĂ©nĂ©ral d’Ubiq, pour une plongĂ©e dans l’univers du bureau flexible et opĂ©rĂ©. Mehdi explique les solutions modernes qui transforment la maniĂšre dont les entreprises gĂšrent leurs espaces de travail, en rĂ©pondant Ă  des besoins d’agilitĂ©, de personnalisation, et de services.Au fil de la discussion, Mehdi dĂ©taille les diffĂ©rences de coĂ»t et d’usage entre un bail 3/6/9, un bureau opĂ©rĂ©, et un coworking. Il partage Ă©galement les Ă©tapes logiques pour passer d’une solution w...2024-12-121h 01AZIMUT Parlons orientationAZIMUT 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 minChoses Ă  Savoir TECHChoses Ă  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 minUne Cession Presque Parfaite : Dans les coulisses de la transmission d\'entreprisesUne 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 10L\'Art de ConnecterL'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 minHONEY MIND Partage de coachs LE podcast des coachs inspirantsHONEY MIND Partage de coachs LE podcast des coachs inspirantsLes 3 piliers de l’accompagnement AuthenticitĂ© Autonomie et Responsabilisation avec Elisabeth Magro-FalconeJe t’emmĂšne Ă  la rencontre d’une invitĂ©e exceptionnelle : Elisabeth Magro-Falcone. Coach, formatrice, facilitatrice et membre de la Leadership Team de Robert Dilts, elle est une vĂ©ritable experte en intelligence collective et en PNL (Programmation Neuro-Linguistique).Avec Elisabeth, on explore son univers d’accompagnement et on dĂ©couvre les valeurs qui guident sa pratique : l'authenticitĂ©, l'autonomie et la responsabilisation. En nous racontant son propre cheminement, Elisabeth aborde des thĂšmes essentiels comme l’importance d’ĂȘtre alignĂ© avec ses valeurs, l’impact des croyances limitantes et cette quĂȘte de sens qui anime tant d’entre nous.2024-11-0334 minKinĂ©line - Le bien-ĂȘtre Ă©motionnel pour toute la familleKinĂ©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 minConnaissance de Soi ♟ par Nico PĂšneConnaissance 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 minSmart ConversationSmart 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 minla conversation - by hĂ©loĂŻsela 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 minPenn Ar WebPenn 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 minLes Zones d\'Ombre de l\'HistoireLes Zones d'Ombre de l'Histoire7 DĂ©cembre 1941, l'attaque de Pearl Harbor, qui savait? 05.11.23Et si les amĂ©ricains avaient dĂ©libĂ©rĂ©ment laissĂ© l’armĂ©e japonaise bombarder la base de Pearl Harbor; thĂ©orie complotiste ou hypothĂšse plausible? L’attaque de la plus grosse base amĂ©ricaine du Pacific par l’aviation japonaise fera plus de 2400 morts et un peu plus de 1100 blessĂ©s; mais elle se soldera aussi par l’entrĂ©e en guerre des Etats Unis qui Ă©taient jusque alors restĂ©s Ă  bonne distance du conflit mondial. Aujourd’hui encore le bombardement de Pearl Harbor est considĂ©rĂ© aux Etats Unis comme une tragĂ©die Ă  l’égal des attentas du 11 Septembre. Quelq...2023-11-0500 minSpectreSpectreAux 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 18Minuit dans le siĂšcleMinuit 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 18Minuit dans le siĂšcleMinuit 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 18Connaissance de Soi ♟ par Nico PĂšneConnaissance 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 minMieux vivreMieux 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 minTrouve ta place avec Maximise ton potentielTrouve 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 minTHE BIG SHIFT ! ÉcologieTHE 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 minTrouve ta place avec Maximise ton potentielTrouve 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 minLa StoryLa 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 minVocabulaire AllemandVocabulaire 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 minEls pĂČdcasts del Temps de les ArtsEls 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 minLeadershiftLeadershiftEpisode 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 minAnecdateAnecdate#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 minConnaissance de Soi ♟ par Nico PĂšneConnaissance 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 minFestival finistellaireFestival 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 minFestival finistellaireFestival 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 minLes Socquettes en titane - Parlons vĂ©lo!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 25Espai AvinyĂł - Llengua i culturaEspai 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 minPalestine terrains sonoresPalestine 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 minSciences du logiciel - Xavier LeroySciences 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 LeroySciences 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 LeroySciences 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 22Maghrib in Past & Present | PodcastsMaghrib 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 LeroySciences 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 21Pierre Cocheteux - Expert en DĂ©veloppement Commercial, Leadership et Motivation.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 LeroySciences 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 LeroySciences 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 14AixĂČ RaiAixĂČ 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 minQuoi de neuf ?Quoi de neuf ?RĂŽle des ancrages familiaux et des frontiĂšres sociales dans la construction identitaire : entretien avec Monica HellerDans cet Ă©pisode de Quoi de neuf, Emmanuelle Le Pichon reçoit Monica Heller, professeure titulaire Ă  l’UniversitĂ© de Toronto et ancienne directrice du CREFO. Monica partage son parcours personnel et acadĂ©mique, fortement influencĂ© par son histoire familiale marquĂ©e par l’exil et la marginalitĂ©. Elle revient sur son enfance Ă  MontrĂ©al dans les annĂ©es 1960-70, sa double culture et ses rĂ©flexions sur l'identitĂ©, l'exclusion et l’inclusion dans la sociĂ©tĂ© canadienne, notamment au sein de la francophonie minoritaire.À travers son rĂ©cit, Monica propose une lecture critique des institutions scolaires francophones, qu’elle accuse parfois...2020-09-2841 minLe Quart d\'Heure d\'Inspir\'ActionLe 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\'ActionLe 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 minLes Ă©chos-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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 minPop Conf\'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'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 02Video lettres histoireVideo lettres histoireConnecteurs logiquesCours sur les connecteurs logiques pour le texte explicatif. 2020-05-0600 minVideo lettres histoireVideo lettres histoireConnecteurs logiquesCours sur les connecteurs logiques pour le texte explicatif. 2020-05-0600 minVideo lettres histoireVideo lettres histoireConnecteurs logiquesCours sur les connecteurs logiques pour le texte explicatif. 2020-05-0600 minLes Ă©chos-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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-logiquesLes Ă©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 minLes Voix de la Culture - Radio GrenouilleLes 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 - 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 - 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 - 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 - 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 - 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 - 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 minSĂ©minaire de l\'IREM de ParisSĂ©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 minSĂ©minaire de l\'IREM de ParisSĂ©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 minLa MarcheuseLa 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 minLes dĂ©bats de la GryffeLes 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 30ActifsRadio, La radio de l\'ESSActifsRadio, 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 minLes dĂ©bats de la GryffeLes 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 50UniversitĂ© Populaire de LYONpodcast | UniversitĂ© Populaire de LYON - Article FeedUniversitĂ© 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 minAlgorithmes, machines et langages - GĂ©rard BerryAlgorithmes, 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 BerryAlgorithmes, 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 BerryAlgorithmes, 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 BerryAlgorithmes, 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 BerryAlgorithmes, 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 BerryAlgorithmes, 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