Dans le numero 149-150 de Pratiques intitule Didactique du francais 2, B. Daunay et Y. Reuter (2011) portaient un regard critique sur les recherches en didactique mettaient evidence fragilites la comme discipline recherche d’un triple point vue : (a) problemes institutionnels lies aux politiques educatives, modes d’evaluation des a l’instabilite formation maitres ; (b) grande « sensibilite soci...

Le texte de Patrick Doffemont livre le point vue d’un compagnon marechal-ferrant, responsable l’institut la transmission des Compagnons du Devoir. Si ce recit edifiant est presente comme une interpretation singuliere dispositif compagnonnage chez les Devoir, il rend neanmoins compte ses bases « educatives », sous-entendues principes invariants formation compagnons. Ces s’articulent autour quatr...

RÉSUMÉ.— Cet article porte sur l'application du modèle de développement et l'ouverture du code source, disponible et mis en oeuvre par les Logiciels Libres et Open Sources (LL/OS) à la didactique et l'enseignement a la fois des mathé-matiques et l'informatique par la lecture-écriture (L/E) de logiciel mathématique, dont les cas les plus connus sont le calcul numérique et formel. L'article analy...

This document describes a set of extensions to the proof scripting language of the Coq proof assistant. While these extensions were developed to support a particular proof methodology small-scale reflection most of them actually are of a quite general nature, improving the functionality of Coq in basic areas such as script layout and structuring, proof context management, and rewriting. Consequ...

A one-sided, nondestructive, ultrasonic technique for monitoring the setting and hardening process of concrete has recently been developed. The technique is based on monitoring the reflection coefficient of ultrasonic transverse waves at the surface of a laboratory scale hardening concrete in steel molds. The technique has been shown to reliably estimate the rate of strength gain of concrete un...

pour la première fois un philosophe traductologue, antoine berman, offre ses expériences basées sur l‟école de la traduction des romantiques allemands. ses cours sont publiés plus tard dans un livre intitulé la traduction et la lettre ou l’auberge du lointain (1999). au contraire des théoriciens traditionnels qui voulaient la restitution embellissant du sens et les analystes de certaines traduc...