Cet article porte sur une recherche-action menée auprès d’étudiants professeurs du master enseignement éducation et formation (MEEF) de l’Inspé l’université Côte d’Azur, parcours des écoles. Il s’agit leur faire produire vidéo narrant le déroulé d’une séquence ou d’un projet pédagogique dans la classe laquelle ils sont en alternance (3 semaines 3 semaine à l’Inspé). Cette production permet l’év...

a la fin du xixe siècle, avec la crise du roman naturaliste, le genre romanesque tombe en disgrâce et ne reprendra son essor que quinze ans plus tard pour dominer tout le xxe siècle. certains romanciers demeurent encore fidèles aux lois traditionnelles du roman et ont l’intention de présenter des êtres vivants affrontant des circonstances que le lecteur juge réelles. chez un romancier tel que r...

Model-checking is a successful technique for automatically verifying concurrent nite-state systems. When building a model-checker, a good compromise must be made between the expressive power of the property description formalism, the complexity of the model-checking problem, and the user-friendliness of the interface. We present a temporal logic and an associated model-checking method that atte...

L’objectif de cette étude est d’évaluer l’état vulnérabilité des systèmes productions agropastorales face à la variabilité climatique dans le bassin rivière Agbado au centre du Bénin. Ainsi partir chroniques données hydroclimatiques ; statistiques démographiques et planimétriques, méthodes d’analyses climatiques ont été appliquées pour caractériser l’impact sur les agricoles secteur d’étude. L’...