La persévérance et l’abandon des étudiants universitaires, aussi appelé attrition, préoccupent grandement les universités. Ainsi, plusieurs ont décidé de mettre en place des interventions afin de favoriser la réussite et la persévérance de leurs étudiants. Cependant, peu de ces interventions ont fait l’objet d’évaluations systématiques. Ce type d’évaluation des pratiques est rarement effectué, même s’il est nécessaire pour distinguer les interventions efficaces de celles qui ne le sont que peu ou pas. À l’Université du Québec en Abitibi-Témiscamingue, une formation spécifique appelée « Atelier d’efficience cognitive » a été implantée dans le but d’aider les étudiants universitaires dans leurs études, par le biais de l’enseignement direct d’un ensemble de stratégies d’apprentissage. La présente recherche vise à vérifier le maintien à moyen terme des effets de cette intervention, «l’Atelier d’efficience cognitive », donné à l’UQAT, sur l’utilisation des stratégies d’apprentissage par des étudiants universitaires. Elle examine l’utilisation actuelle des stratégies d’apprentissage de ces étudiants universitaires, les effets du cours « Atelier d’efficience cognitive » sur l’utilisation ultérieure des stratégies d’apprentissage modifiées et/ou améliorées suite au cours et les commentaires généraux des étudiants concernant l’atelier en général et les stratégies d’apprentissage en particulier. En vue d’atteindre ces objectifs, un questionnaire a été élaboré et soumis à 47 étudiants ayant suivi le cours « Atelier d’efficience cognitive » entre l’automne 2010 et l’automne 2015. Des entrevues individuelles ont également été effectuées auprès de 15 étudiants parmi eux. Les données mixtes (quantitatives et qualitatives) ont été analysées à l’aide d’un logiciel spécialisé, ce qui a permis d’établir la pertinence des éléments rapportés dans l’analyse des résultats. Les résultats de cette recherche permettent d’observer une utilisation importante des stratégies d’apprentissage par les étudiants universitaires, autant les stratégies cognitives, affectives que de gestion des ressources. Il appert également que le cours « Atelier d’efficience cognitive » permet aux étudiants de modifier et/ou d’améliorer leurs stratégies dans le but de les rendre davantage efficaces et efficientes. Le cours aide aussi grandement les étudiants à améliorer leurs travaux et leurs études et, par le fait i même, améliore leur réussite. Enfin, les étudiants interrogés mentionnent leur grande appréciation de l’intervention et soulignent que le cours devrait être offert à tous les étudiants débutant une formation universitaire. / University students’ perseverance and dropout rate, also called attrition, cause great concerns to universities. Thus, many have decided to implement interventions to promote student success and perseverance. However, few of those interventions have been subject to a systematic evaluation. Such practical assessment is rarely performed, even if it is necessary to distinguish effective interventions from those that are a little, or not, effective. At the « Université du Québec en Abitibi-Témiscamingue”, through a set of direct instruction learning strategies, specific course called " Workshop on Cognitive Efficiency" was established in order to help university students in their studies. This research aim is to evaluate the course, "Workshop on Cognitive Efficiency" mid-term effects preservation of the learning strategies by UQAT university students. It examines the current use of learning strategies of university students, the effects of the course "Workshop on Cognitive Efficiency" on the future use of modified learning strategies and / or improved resulting from the course, and general students’ comments regarding the workshop in general and the learning strategies more specifically. To achieve these objectives, a questionnaire was prepared and submitted to 47 students who have taken the course " Workshop on Cognitive Efficiency " between the fall of 2010 and the fall of 2015. Individual interviews were also conducted with 15 students among them. Mixed data (quantitative and qualitative) was analyzed using specific software, allowing to establish the relevance of the elements reported in the analysis. The results of this research show a significant use of learning strategies by university students, ranging from cognitive strategies, affective strategies, and resource management. It also appears that the course "Workshop on Cognitive Efficiency" allows students to modify and / or improve their strategies in order to make them more effective and efficient. The course also greatly helps students improve their work and studies and, thereby, improves their success. Finally, the students surveyed mention their great appreciation of the intervention, and they said that the course should be offered to all students beginning university studies.

Notre thèse relève du champ des sciences de l’éducation, plus particulièrement de la psychologie de l’apprentissage et de la pédagogie. Elle s’appuie sur des travaux de psychologues, philosophes et pédagogues : Jacques Lévine (2008), Philippe Meirieu (2009), Lucie Sauvé (2003), et se situe dans le prolongement de théories développées antérieurement par John Dewey (1925), Henri Wallon (1942) ou encore Lev Vygotski, (1926). Dans leur sillage, nous analysons les stratégies et les conditions à mettre en place pour amorcer un processus d’apprentissage visant à développer chez le sujet enfant une pensée génératrice d’actes responsables. En effet, l’un des enjeux majeurs de l’éducation aujourd’hui est de promouvoir des valeurs, comportements et attitudes de manière à favoriser l’édification d’un monde plus viable, plus vivable et plus solidaire tant pour les générations présentes que futures. La complexité des questions soulevées par une telle exigence éducative requiert que, sur chaque territoire, l’on recherche les modalités les plus adaptées et les plus pertinentes. Ces interrogations nous ont conduits à formuler la question suivante comme point de départ : comment, dans un pays où subsiste encore dans l’École des relents d’acculturation et d’enfermement du sujet, peut-on favoriser son émancipation afin de mieux le préparer à devenir éco-citoyen ? Ainsi, prenant appui sur l’expérimentation du dispositif des « Ateliers d’éducation à l’éthique éco citoyenne » (A3E), dans le contexte spécifique du Burkina Faso, la présente thèse démontre la nécessité de construire une pensée réflexive chez le sujet, laquelle est fondatrice de perspectives de changements, à la fois de représentations et de comportements. Les résultats de notre recherche conduite à Markoye montrent que, malgré le fort ancrage de pratiques enseignantes répétitives et dirigistes héritées de l’ère coloniale, les acteurs éducatifs du système scolaire burkinabé sont ouverts aux innovations pédagogiques si certaines conditions sont réunies. Le dispositif tel que conçu et expérimenté, se veut être une démarche de transformation des pratiques pédagogiques parmi d’autres, dans le sens d’une plus grande efficacité émancipatrice des futurs éco-citoyens. Le cadre dans lequel il est mis en œuvre, parce qu’interactif, dialogique et coopératif, favorise l’éveil de la pensée réflexive et suscite chez les sujets le désir de s’engager librement en adoptant des comportements nouveaux, plus responsables vis-à-vis de problématiques en relation avec l’environnement et le développement durable. / This thesis belongs to the science of education, more specifically to the psychology of learning and pedagogy. It draws on the works of psychologists, philosophers and pedagogues: Jacques Lévine (2008), Philippe Meirieu (2009), Lucie Sauvé, (2003), extending the earlier developed theories of John Dewey (1925), Henri Wallon (1942), and even Lev Vygotski (1926). Following their examples, this thesis analyses the conditions and strategies required for initiating a learning process for developing in the child-subject a generative thinking of responsible action. In fact, one of the major efforts of current education is to promote values, behaviour and attitudes with a view to create a more viable, liveable and solidary world for the present as well as for future generations. The complexity of questions raised by such educative expectations again require research, within each of these domains, of the most pertinent and adapted modalities. These interrogations have led to formulation of the following question as point of departure: In a country where acculturation and enclosure of the child-subject still pervade in school, how could his or her emancipation be promoted in order to best prepare him or her to become an eco-citizen?Thus, based on experiments in the specific context of Burkina Faso, by means of Eco-citizen ethical education (3E) workshops, the present thesis demonstrates the need to construct a reflective thinking by the child-subject, which is fundamental from a change and behaviour perspective.The results of this research conducted at Markoye show that, in spite of the strongly ingrained repetitive and directive teaching practices, inherited from the colonial era, the education agents in the burkinabé school system are open to pedagogical innovations, under certain conditions. The methodology as conceived and tested applies, inter alia, an approach of transforming pedagogical practices so that there is a much more effective emancipation of future eco-citizens. The framework in which this is implemented favours, because it is interactive, dialogic, and cooperative, an awakening of reflective thinking and desire in the child-subject to freely engage him/herself by adopting new and in adopting new and more responsible behaviours in relation to EESD.

La greffe repose sur le don d’un organe qui, dans le cadre du don cadavérique, est issu d’un donateur qui n’a pas la conscience de donner. Le donneur et le receveur ne se connaitront jamais, et ce don prend le sens d’une réduction à la donation. Tout se passe comme si le donateur redonnait une chose dont il n’était pas propriétaire ; ce procès prend dès lors la forme d’un sacrifice ou redondance du don, au sens où celui qui a reçu redonne à son tour et sans retour. Il illustre également le concept d’hospitalité qui peut être mobilisé autant par le greffé, que par le soignant. Durant cet intervalle requis par la greffe, au sein de ce rituel symbolique et technique, le greffé est soumis à une réalité chaotique inconcevable et imprévisible. Ainsi, le mot peut manquer et l’écriture, par exemple, peut pallier cette carence, sous la forme d’ateliers ; expérience qui fut menée durant cette recherche et qui sera poursuivie. Sans s’opposer à la démarche des ateliers et outre l’avantage d’une mise en œuvre plus simple, le récit narratif s’est imposé pour trois raisons. - C’est une forme d’action, la plus élémentaire, la première possible après une longue période où toute action était devenue improbable. - C’est une façon de donner une cohérence au parcours subi et, même s’il s’agit d’une construction narrative, celle-ci participe à l’individuation du greffé, condition préalable pour envisager de nouvelles actions. - Enfin, ce récit peut être restitué au médecin qui a vécu l’acte de greffer, contrairement au malade. L’hypothèse est que cette hospitalité faite au récit permet d’une part, de renverser le schéma habituel – le soignant est dans la position de celui qui reçoit, non de celui qui donne –, d’autre part, de donner crédit au récit. Et, de proposer que la phase de réhabilitation, en rapport avec les actes thérapeutiques lourds, débute par ce type de récit où le malade parle et le soignant écoute, sans autre finalité, pour ce dernier, que d’accepter et de recevoir. / The transplant bases of the donation of an organ which, within the framework of the deathly donation, arises from a donor who is not conscious to give. The donor and recipient will never know each other, and this donation takes the senses of a reduction in the donation. It’s as if the donor gave a thing which he didn’t own ; this process takes from then on the form of a sacrifice or a redundancy of the donation, meaning that the one who received becomes the one to give, with no return expectations. It also illustrates the concept of hospitality which can be mobilized by the transplanted and the caregiver. During this interval required by the transplant, within this symbolic and technical rite, the transplante is subjected to an inconceivable and unpredictable chaotic reality.The transplanted can be wordless, and the writing, for example, can mitigate this deficiency, in the form of workshops. Such an experience was carried out during this research and will be pursued.Without opposing the approach of workshops and besides the advantage of a simpler implementation, the narrative was imperative for three reasons :- it is the first possible form of action after a long period of inactivity.- It helps the transplanted to give a coherence to the tranplantation. Even if it is narrative construction, it participates in the individuation of the transplanted, a precondition to envisage new actions.- Finally, this narrative can be restored to the doctor who experienced the act to tranplant, contrary to the sick person. The hypothesis is that this hospitality made for the narrative allows on one hand, to reverse the ususal plan – the caregiver is in the position of the one who receives, not of the one who gives - , on the other hand, to give credit to the narrative.And, to propose that the rehabilitation phase, related to the heavy therapeutic acts, begins with this type of narrative where the sick person speaks and the caregiver listen to, without no other purpose, for the latter, than to accept and receive.

L’artisanat verrier forestier moderne connaît un développement particulièrement important dans la région languedocienne qui bénéficie d’une tradition ancrée depuis le XIIIe s. Pour autant, les modes et structures de production sont encore peu documentés et l’historiographie en livre généralement l’image d’un modeste réseau d’officines isolées. Fondée sur la complémentarité des sources écrites, archéologiques et archéométriques, cette étude privilégie l’analyse de ces fabriques à partir de huit ateliers fouillés. Elle livre une approche des divers acteurs comme de l’environnement qui contribuent à la structuration formelle de cet art du feu. Une centaine de centres de production modernes a été recensée, le plus souvent rassemblés en foyers. Si leur développement demeure limité, ils font en revanche état d’une certaine autonomie dans la production. De la plus petite unité forestière aux grands établissements assimilés à des centres villageois, chaque site assure le cycle complet de la production du verre. Les ateliers bénéficient en général d’infrastructures relativement simples, rassemblées autour de deux à trois fours à vocation complémentaire : préparation des matières, fusion et recuit. Leur morphologie ainsi que les usages combinés qui en sont faits varient en fonction des époques et de l’importance de la fabrique. Terre propice à l’établissement de l’industrie verrière pour ses nombreuses ressources naturelles, le Languedoc moderne produit principalement du verre creux destiné à alimenter la province. Toutefois, à partir du premier tiers du XVIIIe s., cet artisanat forestier s’étiole progressivement au profit de grandes manufactures alimentées au charbon de terre. / The modern woodlands glassmaking enjoys a particularly siginifant development in the Lower Languedoc region which benefits from a deeply rooted tradition from the thirteenth century on. However, the ways and structures of production are as yet very poorly documented and the historiography generally gives a picture of a modest network of workshops producing objects for daily use.Based on the additionnal information of written archaeological and archeometrical sources, this study favours the analysis of these factories from eight excavated sites. At first place it gives an approach of the people as well as the surrounding area which shows the formal structuring of this ceramic skillset. About a hundred moderns production centres emerged, grouped together in a number of zones with several workshops near each other. Their extent is limited, on the other hand they indicate a certain autonomy in production. From the smallest unit in the woodlands to the big establishments which resembledl proper village settlements, each site ensured the complete cycle of the operational chain of glass production. Generally, the workshops were a relatively simple infrastructure assembled around two or three furnaces with complementary functions: frit, fusion and annealing furnaces.As a region favourable to the establishment of glassmaking due to the rich resources in raw materials, modern Languedoc produced mainly hollow, concave glass.. Basically their production supplied the province which was the biggest of the kingdom. It is only from the first third of the eighteenth century that this woodland craft industry declined progressively as big coal-fired factories took over.

Cette étude, réalisée dans le cadre d’une thèse de doctorat, s’appuie à la fois sur des missions de terrain (prospections, étude du mobilier amphorique issu de ces examens de surface et de fouilles archéologiques) et sur des recherches documentaires. Nous avons débuté par l’analyse des sources écrites et iconographiques qui témoignent de la vigne et du vin. Elles nous renseignent sur l’importance de ces denrées en Cilicie depuis l’époque archaïque. Nous avons poursuivi avec les installations agricoles que nous avons répertoriées. Celles-ci traduisent la place de la viniculture en Cilicie durant l’Antiquité. Leur nombre substantiel corrobore le témoignage des sources sur l’importance du vin. Les prospections pédestres nous ont permis d’identifier plusieurs ateliers amphoriques datés de l’époque romaine. Ces découvertes attestent que des amphores, récipients privilégiés du commerce maritime, étaient produites dans cette province orientale. Une partie de la production viticole était donc exportée. Le matériel récolté sur les centres de production fut étudié en vue d’établir une chrono-typologie des six types d’emballages de transport maritime façonnés localement. Enfin, le recensement des sites de consommation où ces récipients furent exportés permet de dresser la carte de diffusion des amphores locales et donc de retracer les réseaux d’échanges dans lesquels était impliquée la Cilicie. Ces données sont indispensables en vue d’appréhender l’importance tenue par le vin de cette région littorale dans le cadre plus général du commerce maritime de l’Empire romain. / This study was carried out in the context of a Ph.D thesis. It is based both on field work (surveys, studies of amphorae collected during surveys and during archaeological excavations) and on documentary research. First, the analyse of ancient sources, written and iconographic, attest to the importance of oil and wine as surplus commodities in this Mediterranean province. Investigated press elements furnish insight to the place of Cilician viticulture during Antiquity. The substantial number of these elements reinforce the assertions of ancient sources that wine was a signficant surplus commodity of this region. During our survey we identified several Roman-era kiln-sites in the region. Their presence demonstrates that Cilician transport amphorae, or maritime shipping containers, were produced to accomodate this trade. Analysis of amphora remains collected at the kiln sites and nearby excavations enabled us to construct a chrono-typology of six amphorae that were produced locally. Last, we compared our results with those of materials published at excavations conducted throughout the Mediterranean and beyond. This enabled us to trace the distribution patterns and commercial networks of Cilician surplus commodities. These data become crucial to our understanding of the place of Cilician wine trade in the wider Roman Mediterranean economy.

L’atelier est au centre de l’éducation en design et se présente comme une simulation de la pratique professionnelle. Il est fondé sur un apprentissage par-le-faire, dans une approche basée sur le projet. Par ailleurs, les critiques de projet sont la pratique pédagogique commune en atelier. Elles sont basées sur les échanges enseignant / étudiants, dont l’objectif est d’apprendre le processus de conception et une pensée de design. Or, ces critiques sont confrontées à un clivage entre la nature de l’apprentissage qu’elles portent (par-le-faire) et les difficultés à l’expliciter. En effet, étant un expert du processus de conception, l’enseignant est supposé transmettre son expérience et son savoir-faire dans l’échange avec les étudiants. Or, il est face aux défis d’extérioriser sa pensée de design et ses connaissances, qui sont souvent tacites, à des étudiants qui sont supposés commencer par faire le design sans savoir comment le faire. De plus, de nos jours, et avec l’usage des outils de CAO, les critiques sont souvent réduites à un échange verbal rapide et individuel à la table de l’enseignant, accentuant la hiérarchie, en plus d’être axées sur le résultat plus que le processus. Il est nécessaire d’apporter des transformations de la façon avec laquelle les critiques sont menées et mieux expliciter les situations d’apprentissages. Cette thèse explore une stratégie d’apprentissage de la conception en atelier par l’approche codesign. À travers des observations d’un atelier en codesign, dans un contexte naturel, cette recherche vise à comprendre le déroulement des critiques par cette approche, ses caractéristiques et son apport à l’apprentissage de la conception. La nature du codesign, étant une activité sociale, et où la réflexion se fait à haute voix naturellement, a permis d’étudier des processus de conception dans un contexte d’apprentissage, sans intrusion. La méthodologie utilisée est innovante, utilisant les entrevues rétrospectives immersives, qui sont évocatrices de la mémoire, pour la première fois dans l’étude de la pédagogie de l’atelier, pour croiser les données collectées dans les observations directes. Nous avons contribué au développement de la connaissance quant à la compréhension des situations d’apprentissages de la conception, en donnant quelques éléments de réponses sur le déroulement des critiques par l’approche codesign. Nous avons développé des connaissances sur les stratégies (knowing-in-action en contexte pédagogique) utilisées par l’enseignant, sur les contributions des participants, sur les modalités d’engagement des étudiants, ainsi que les avantages et les apprentissages perçus par ces derniers eux-mêmes en comparaison avec les critiques traditionnelles. Enfin, nous avons développé des recommandations pédagogiques s’adressant aux enseignants d’ateliers. / The studio is at the heart of design education and presents itself as a simulation of professional practice. It is based on learning-by-doing, in a project-based approach. Moreover, critiques are the common educational practice in the studio. They are based on exchanges between the teacher and the students, in order to learn the design process and the design thinking. However, these critiques face a gap between the nature of the learning they carry (learning-by-doing) and the difficulties of explaining how it works to the students. Indeed, being an expert in the design process, the teacher is supposed to transfer his experience and his know-how, through exchanges with his students. Though, the teacher faces the challenge of externalizing his design thinking and a knowledge often tacit, to students who are expected to start designing without knowing how to do it. Besides, nowadays, and with the use of CAD tools, critiques are often reduced to a quick and individual verbal exchange at the teacher's table, accentuating the hierarchy, in addition to being focused on productivity more than the process itself. This is why it is necessary to bring some transformations to the actual way of doing critiques and bring further understandings of the learning situations in the studio. This doctoral thesis explores a new strategy using codesign approach for learning the process of designing in the studio. Through observations from a studio lead by codesign approach, in a natural context, this research aims to understand the unfolding critiques by this approach, its characteristics and its contributions to design learning. The nature of codesign, as a social activity and where thinking is done aloud naturally, has allowed the study of design processes in a learning context, without intrusiveness. Our methodology is innovative, since we used immersive retrospective interviews, which evoke memory, for the first time in the study of studio pedagogy, to combine the data collected in direct observations. We have contributed to the development of knowledge regarding the understanding of design learning situations, by shedding light on the progress of project critiques using the codesign approach. We have developed knowledge on the strategies (knowing-in-action in educational context) used by the teacher, on the contributions of all participants and the engagements of the students in the learning situations. Besides, we constructed an overview on this approach advantages compared to the traditional critiques and the learnings perceived by students themselves. Finally, we have developed some educational recommendations addressed to studio teachers.

Syftet med den här studien var att få en större förståelse för hur den fysiska miljön i bildsalar och ateljéer i konstnärlig utbildning påverkar de som brukar lokalerna. Jag har samlat bildpedagogers tankar om och erfarenheter av undervisning i gymnasiets bildklassrum och ateljéer på folkhögskolor och förberedande konstskolor. Detta för att undersöka vad som karaktäriserar de olika rummen, vad en ateljé eller en kreativ plats är enligt dem; och vad olika rum kan tillföra lärandet. Den metod som har använts är kvalitativa intervjuer och tolkande fenomenologisk analys med stöd i kroppslig fenomenologi, platsfenomenologi, arkitekturteori och synen på konstnären i utbildning och samhälle. Resultat som framkom i undersökningen visar att bildpedagogerna lägger stor vikt vid platsens historia och spår av tidigare verksamheter. De flesta talar om tryggheten i att vila i en konst- och hantverkstradition, och om lokalers ändamålsenlighet. Spår av processer används medvetet för att locka fram självförtroende och inspiration. Flera av dem talar om att autentiska miljöer och verktyg får oss att känna oss tagna på allvar. De har också lyft vikten av att börja i sin egen kropp, att förankra den konstnärliga processen i taktilt arbete och därmed i sig själv. Det verkar som att de intervjuade bildpedagogerna ser ett högt värde i de unika platser som många konstskolor är.

Aujourd’hui, la pratique des ateliers d’écriture créative a véritablement sa place dans les classes du Français Langue Étrangère. Mais force est de constater que les activités proposées dans ces ateliers portent principalement sur les apprentissages linguistiques et culturels de la langue. Cette recherche doctorale met en place une modalité originale de mise en œuvre de la perspective actionnelle préconisée par le CECR. Elle propose de croiser les champs de la didactique des langues, de la didactique de la littérature et de la didactique de la production de l’écrit en FLE pour tenter de déterminer la spécificité et l’impact de la pratique des ateliers d’écriture littéraire dans la construction des compétences linguistique, interculturelle et esthétique. Lors de l’expérimentation, l’analyse de productions écrites littéraires réalisées vise à observer comment les apprenants du FLE, considérés comme des acteurs sociaux qui utilisent leur répertoire langagier et culturel, manifestent leur créativité littéraire. Nous avons porté notre attention sur les stratégies qu’ils adoptent en s’appropriant les consignes d’écriture proposées et sur leurs choix stylistiques, qu’ils soient empruntés ou originaux. Nous montrons que des savoir-faire linguistiques limités ne sont pas forcément un obstacle à la créativité, et que les tâches d’écriture littéraire impliquent pour tout apprenant un travail sur la langue dont le but est l’expression de soi, de sa vision du monde, de l’évolution de son rapport à la langue acquise, à sa biographie langagière, et à la communication humaine. Un chapitre didactique conclusif propose des pistes de réflexion pour l’élaboration d’un cours de production écrite créative. / Today, the practice of creative writing workshops has its place in the classrooms of French Foreign Language (FFL). But it is clear that the activities proposed in these workshops focus mainly on linguistic and cultural learning.This PhD research sets up an original implementation of the action-oriented approach advocated by the CEFR. It proposes to intersect the fields of language teaching, literature teaching and didactics of the production of written FFL, in order to determine the specificity and the impact of literary writing workshops on building linguistic, cross-cultural and aesthetic skills.Through the analysis of literary productions written during the experiment, the study aims to observe how learners of FFL, considered as social actors who use their linguistic and cultural repertoire, show their literary creativity.We focus our attention on the strategies they adopt when appropriating the proposed writing protocols, and on their stylistic choices, whether borrowed or original. We show that limited linguistic knowledge and expertise is not necessarily an obstacle to creativity, and that literary writing tasks urge every learner to work on the language with the purpose of self-expression of his worldview, of the evolution of his relationship to the target foreign language, of its linguistic biography, and of human communication.A concluding chapter offers exploring resources for a course in creative writing and for teacher training.

This thesis deals with George Soros foundation network, specifically with the Soros centers for contemporary art, their support of the art in post-soviet countries and the following transformation. One of the important tasks was support for artists in the form of grants. Attention is focused on one specific case and that is the gallery Atelier NOON, which was based in Prague in Smichov in 1999 - 2002. It was an unconventional combination of the art studio, that belong to the artist Petra Nováková Ondreičková, and exhibition space. The gallery is shown in context of contemporary art scene from those times, and it is also trying to show similar unconventional exhibition spaces. Keywords George Soros, Soros foundation network, SCCA, gallery, Atelier NOON, Petra Nováková Ondreičková, exhibition, 90', apartmant gallery

Cette thèse porte sur la vérification des règles ajoutées de l'Atelier B en utilisant une plate-forme appelée BCARe qui repose sur un plongement de la théorie sous-jacente à la méthode B (théorie de B) dans l'assistant à la preuve Coq. En particulier, nous proposons trois approches pour prouver la validité d'une règle, ce qui revient à prouver une formule exprimée dans la théorie de B. Ces trois approches ont été évaluées sur les règles de la base de règles de SIEMENS IC-MOL. La première approche dite autarcique est développée avec le langage de tactiques de Coq Ltac.  Elle repose sur une première étape qui consiste à déplier tous les opérateurs ensemblistes pour obtenir une formule de la logique du premier ordre. Puis nous appliquons une procédure de décision qui met en oeuvre une heuristique naïve en ce qui concerne les instanciations. La deuxième approche, dite sceptique,appelle le prouveur automatique de théorèmes Zenon après avoir effectué l'étape de normalisation précédente. Nous vérifions ensuite les preuves trouvées par Zenon dans le plongement profond de B en Coq.  La troisième approche évite l'étape de normalisation précédente grâce à une extension de Zenon utilisant des règles d'inférence spécifiques à la théorie de B. Ces règles sont obtenues grâce à la technique de superdéduction. Cette dernière approche est généralisée en une extension de Zenon à toute théorie grâce à un calcul dynamique des règles de superdéduction. Ce nouvel outil, appelé Super Zenon, peut par exemple prouver des problèmes issus de la bibliothèque de problèmes TPTP. / The purpose of this thesis is the verification of Atelier B added rules using the framework named BCARe which relies on a deep embedding of the B theory within the logic of the Coq proof assistant. We propose especially three approaches in order to prove the validity of a rule, which amounts to prove a formula expressed in the B theory. These three approaches have been assessed on the rules coming from the rule database maintained by Siemens IC-MOL.  To do so, the first approach, so-called autarkic approach, is developed thanks to the Coq tactic language, Ltac. It rests upon a first step which consists in unfolding the set operators so as to obtain a first order formula.  A decision procedure which implements an heuristic is applied afterwards to deal with instantiation.  We propose a second approach, so-called skeptic approach, which uses the automated first order theorem prover Zenon, after the previous normalization step has been applied.  Then we verify the Zenon proofs in the deep embedding of B in Coq. A third approach consists in using anextension of Zenon to the B method thanks to the superdeduction. Superdeduction allows us to add the axioms of the B theory by means of deduction rules in the proof mechanism of Zenon. This last approach is generalized in an extension of Zenon to every theory thanks to a dynamic calculus of the superdeduction rules. This new tool, named Super Zenon, is able to prove problems coming from the problem library TPTP, for example.