A presente dissertação pretendeu resgatar a contribuição de um dos mais importantes designers brasileiros que foi também um dos precursores da industrialização do setor moveleiro no Brasil e trazê-la para debate. O aprofundamento do estudo sobre sua produção e trajetória como designer buscou compreender a maneira com que ele abordou e incorporou as ideias modernistas em seu trabalho e, assim, esclarecer como se deu sua participação na consolidação do móvel moderno no Brasil. Trata-se, portanto, do desenvolvimento de um estudo de caráter qualitativo, realizado sob o ponto de vista histórico, com o objetivo de coletar e analisar informações a respeito do trabalho e a produção moveleira do designer Jorge Zalszupin entre as décadas de 1959 a 2008, período que compreende da fundação da L\'atelier até o lançamento de sua mais recente poltrona, em 2008, aos 87 anos. O primeiro capítulo apresentará um panorama do contexto de surgimento e consolidação do movimento moderno e as principais características e manifestações que este assumiu no projeto de mobiliário. O segundo capítulo abordará a trajetória de Zalszupin na L\'atelier e como diretor de pesquisa e desenvolvimento do Grupo Forsa bem como de sua principal produção no período. O terceiro capítulo consiste na análise de onze peças de mobiliário consideradas representativas de sua obra e que foram examinadas enquanto suas características estéticas, os materiais utilizados, e os processos e soluções construtivas adotadas, com o objetivo de compreender a maneira com que o trabalho de Zalszupin colaborou na construção do vocabulário moderno no móvel brasileiro. / The present dissertation aimed to rescue and discuss the contribution of one of the most important brazilian designer who was also one of the precursors of the of furniture industrialization in Brazil. The deepening of the study about his production and trajectory as a designer aimed to understand the way in which he approached and incorporated the modernist ideas in his work and, thus, to clarify what was his role in the consolidation of the modern furniture in Brazil. Therefore, this is about the development of a qualitative study carried out from the historical point of view with the objective of collecting and analysing information about the work and the furniture production of the designer Jorge Zalszupin between the decades of 1959 to2008, period that comprises from the opening of L\'atelier until the launch of its latest armchair in 2008 at the age of87. The first chapter will present an context overview of the emergence and consolidation of the modern movement and the main characteristics and manifestations that it assumed in furniture design. The second chapter is about Zalszupin\'s trajectory as a designer at L\'atelier and as a re-searcher and development director of Grupo Forsa and his main production in the period. The third chapter consists of the analysis of eleven pieces of furniture considered representative of his work and which were examined on its aesthetic features, materials, processes and constructive solutions adopted, seeking to understand how the work of Zalszupin was inserted and collaborated in the construction of the brazilian furniture vocabulary.

A presente dissertação pretendeu resgatar a contribuição de um dos mais importantes designers brasileiros que foi também um dos precursores da industrialização do setor moveleiro no Brasil e trazê-la para debate. O aprofundamento do estudo sobre sua produção e trajetória como designer buscou compreender a maneira com que ele abordou e incorporou as ideias modernistas em seu trabalho e, assim, esclarecer como se deu sua participação na consolidação do móvel moderno no Brasil. Trata-se, portanto, do desenvolvimento de um estudo de caráter qualitativo, realizado sob o ponto de vista histórico, com o objetivo de coletar e analisar informações a respeito do trabalho e a produção moveleira do designer Jorge Zalszupin entre as décadas de 1959 a 2008, período que compreende da fundação da L\'atelier até o lançamento de sua mais recente poltrona, em 2008, aos 87 anos. O primeiro capítulo apresentará um panorama do contexto de surgimento e consolidação do movimento moderno e as principais características e manifestações que este assumiu no projeto de mobiliário. O segundo capítulo abordará a trajetória de Zalszupin na L\'atelier e como diretor de pesquisa e desenvolvimento do Grupo Forsa bem como de sua principal produção no período. O terceiro capítulo consiste na análise de onze peças de mobiliário consideradas representativas de sua obra e que foram examinadas enquanto suas características estéticas, os materiais utilizados, e os processos e soluções construtivas adotadas, com o objetivo de compreender a maneira com que o trabalho de Zalszupin colaborou na construção do vocabulário moderno no móvel brasileiro. / The present dissertation aimed to rescue and discuss the contribution of one of the most important brazilian designer who was also one of the precursors of the of furniture industrialization in Brazil. The deepening of the study about his production and trajectory as a designer aimed to understand the way in which he approached and incorporated the modernist ideas in his work and, thus, to clarify what was his role in the consolidation of the modern furniture in Brazil. Therefore, this is about the development of a qualitative study carried out from the historical point of view with the objective of collecting and analysing information about the work and the furniture production of the designer Jorge Zalszupin between the decades of 1959 to2008, period that comprises from the opening of L\'atelier until the launch of its latest armchair in 2008 at the age of87. The first chapter will present an context overview of the emergence and consolidation of the modern movement and the main characteristics and manifestations that it assumed in furniture design. The second chapter is about Zalszupin\'s trajectory as a designer at L\'atelier and as a re-searcher and development director of Grupo Forsa and his main production in the period. The third chapter consists of the analysis of eleven pieces of furniture considered representative of his work and which were examined on its aesthetic features, materials, processes and constructive solutions adopted, seeking to understand how the work of Zalszupin was inserted and collaborated in the construction of the brazilian furniture vocabulary.

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.

A partir du cas de l'industrie de l'automobile, plus précisément, de trois usines de montage en France, en Argentine et au Brésil, cette recherche éclaire les modalités de la mise en œuvre des politiques et des pratiques de formation et ses effets. Les enjeux de la formation des ouvriers soulignent sa fonction économique. Ils visent le développement de compétences et de performances du personnel et leur adaptation aux transformations technologiques et organisationnelles. Cependant, la formation dans l'entreprise est marquée par l'histoire du collectif ouvrier, qui doit faire face à une réorganisation du travail, par le moment où ces transformations interviennent et par la situation concrète de l'établissement. Dès lors, la formation ne peut pas être pensée sans tenir compte de tous ces éléments qui forment le contexte dans lequel elle s'implante et les interactions qu'elle engendre. Dans une entreprise de l'automobile implantée dans plusieurs pays, ce contexte est autant transnational que national. Ce qui amène à formuler cette thèse : La formation ne joue pas un rôle défini a priori par l'objectif auquel elle est sensée répondre, elle remplit plusieurs fonctions. Les entreprises instituent la formation sans toujours pouvoir faire le calcul des avantages économiques qu'elles en tirent. Y compris en ce qui concerne les changements technologiques. Les situations de travail qui sous-tendent ces changements sont autant des situations d'apprentissage et ne s'associent donc pas à des formations instituées. Les fonctions de la formation varient avec les contextes : la législation nationale réglementant un système de formation professionnelle d'adultes salariés est le support qui assure qu'ils puissent bénéficier des stages pour améliorer leur situation. La méthode mobilisée est destinée à repérer au plus près des pratiques les particularités de la formation dans trois sites. Notre démarche a consisté à lire l'activité de travail à travers le prisme de la formation et réciproquement. L'observation participante dans les stages et dans les ateliers a permis de repérer où et comment la main-d'œuvre se prépare véritablement pour le travail ainsi que les fonctions de la formation. Les effets de la formation d'une part, sur les carrières et d'autre part, sur la maîtrise des technologies, ont été explorés par l'analyse des trajectoires professionnelles et par l'étude de l'évolution de chaque site. L'analyse de l'évolution des filiales et les entretiens auprès des responsables hiérarchiques permettent de repérer les enjeux au moment où la formation a été introduite dans les sites, les transformations de la formation et le contexte historique dont chaque usine est l'héritière.

A partir du cas de l'industrie de l'automobile, plus précisément, de trois usines de montage en France, en Argentine et au Brésil, cette recherche éclaire les modalités de la mise en œuvre des politiques et des pratiques de formation et ses effets. Les enjeux de la formation des ouvriers soulignent sa fonction économique. Ils visent le développement de compétences et de performances du personnel et leur adaptation aux transformations technologiques et organisationnelles. Cependant, la formation dans l'entreprise est marquée par l'histoire du collectif ouvrier, qui doit faire face à une réorganisation du travail, par le moment où ces transformations interviennent et par la situation concrète de l'établissement. Dès lors, la formation ne peut pas être pensée sans tenir compte de tous ces éléments qui forment le contexte dans lequel elle s'implante et les interactions qu'elle engendre. Dans une entreprise de l'automobile implantée dans plusieurs pays, ce contexte est autant transnational que national. Ce qui amène à formuler cette thèse : La formation ne joue pas un rôle défini a priori par l'objectif auquel elle est sensée répondre, elle remplit plusieurs fonctions. Les entreprises instituent la formation sans toujours pouvoir faire le calcul des avantages économiques qu'elles en tirent. Y compris en ce qui concerne les changements technologiques. Les situations de travail qui sous-tendent ces changements sont autant des situations d'apprentissage et ne s'associent donc pas à des formations instituées. Les fonctions de la formation varient avec les contextes : la législation nationale réglementant un système de formation professionnelle d'adultes salariés est le support qui assure qu'ils puissent bénéficier des stages pour améliorer leur situation. La méthode mobilisée est destinée à repérer au plus près des pratiques les particularités de la formation dans trois sites. Notre démarche a consisté à lire l'activité de travail à travers le prisme de la formation et réciproquement. L'observation participante dans les stages et dans les ateliers a permis de repérer où et comment la main-d'œuvre se prépare véritablement pour le travail ainsi que les fonctions de la formation. Les effets de la formation d'une part, sur les carrières et d'autre part, sur la maîtrise des technologies, ont été explorés par l'analyse des trajectoires professionnelles et par l'étude de l'évolution de chaque site. L'analyse de l'évolution des filiales et les entretiens auprès des responsables hiérarchiques permettent de repérer les enjeux au moment où la formation a été introduite dans les sites, les transformations de la formation et le contexte historique dont chaque usine est l'héritière.

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.

L’Atelier contemporain recueille la plupart des textes sur l’art de Francis Ponge. Malgré sa réputation de « poète des choses », celui-ci n’y écrit pourtant pas avant tout sur les œuvres finies (les tableaux), mais plutôt sur les artistes mêmes. S’appuyant sur un approfondissement de la conceptualisation de la poétique pongienne comme érotique entre le sujet et l’objet, ce mémoire cherche à découvrir, à travers les questions particulières que la peinture pose à l’écriture de Ponge, les raisons du déplacement du regard de l’écriture de la chose muette à la personne parlante. Il semble que Ponge, face à des œuvres artistiques non verbales, soit à la recherche d’une signifiance qu’il ne peut trouver, ce qui l’oblige à se tourner vers les personnes. Mais ces personnes finissent toujours par céder la première place, dans L’Atelier contemporain, au « je » du poète. / Francis Ponge’s L’Atelier contemporain is a collection of most of his texts on art. In those texts, despite Ponge’s reputation of “poet of things”, his primary focus is not put on the finished works (the paintings), but rather on the artists themselves. Supported on a deepening of the conception of Ponge’s poetic as an erotic relation between the subject and the object, this master’s thesis aims at discovering, through the specific questions that painting asks to writing, the reasons of the shifting of the look from the mute things to the talking persons. It seems that Ponge, facing non-verbal artistic works, is seeking a power of significance that he cannot find, which forces him to turn towards the persons. However, these persons always yield, in L’Atelier contemporain, to the poetic subject.