Not available / text

La légitimité d’une organisation est fondée sur sa mission, c’est-à-dire sur sa raison d’être. Des responsables des bibliothèques et de nombreux chercheurs craignent que la légitimité des bibliothèques publiques soit contestée dans la société de l’information. De plus, les textes officiels présentant les missions des bibliothèques publiques sont divers et les missions y sont délibérément non définies. Au Québec, où une grande majorité des bibliothèques publiques autonomes sont placées directement sous la tutelle des municipalités, les bibliothèques publiques doivent définir et légitimer leurs missions avec les élus municipaux. L’objectif principal de cette recherche est de comprendre, via les discours, le point de vue des élus municipaux québécois sur les missions des bibliothèques publiques autonomes, en comparaison avec les pratiques et les ressources des bibliothèques au plan local. Basé sur la théorie de la construction sociale de la réalité, un cadre conceptuel est proposé de manière à étudier non seulement les discours dans leur dimension textuelle, mais aussi à contextualiser ces discours et analyser l’écart entre ces discours et les pratiques des bibliothèques.La stratégie de recherche adoptée est une étude de cas multiples. L’objectif est de développer une analyse en profondeur de chaque cas et une analyse inter cas. Les douze cas (municipalités) ont été sélectionnés en fonction de deux critères de variation (la taille de la municipalité et le budget annuel alloué par la municipalité à la bibliothèque) et un critère discriminant (la distance par rapport à l’Université de Montréal). Des entrevues ont été menées auprès des élus municipaux présidant la commission ou le comité dont dépendent les bibliothèques publiques. Ces entrevues et les politiques culturelles ont fait l’objet d’une analyse de discours. Les entrevues auprès des responsables des bibliothèques et la documentation ont fait l’objet d’une analyse de contenu. Ces analyses ont permis la triangulation des méthodes et des sources de données.Les élus municipaux québécois, comme les professionnels, n’offrent pas un discours homogène sur les missions des bibliothèques publiques. Toutefois, un modèle de discours émerge. Il montre un discours « limité » par rapport à la littérature, dans lequel une image passive de la bibliothèque est présentée et dans lequel la tradition perdure malgré le contexte de la société de l’information. Mais l’analyse révèle aussi que les élus municipaux construisent leurs points de vue sur leurs propres convictions en tant qu’individus, sur leur rôle dans la gestion de la municipalité en tant qu’élus et sur l’image qu’ils ont des usagers des bibliothèques publiques. Enfin, l’analyse a révélé un axe de différenciation des points de vue selon que le discours s’appuie sur des valeurs fondamentales ou sur les usages (réels ou supposés) de la bibliothèque. / The legitimacy of an organization is based on its mission, i.e. its raison d’être. Some libraries directors and many researchers fear that the legitimacy of public libraries is challenged in the information society. Moreover, official texts presenting the missions of public libraries are varied and the missions are deliberately not defined there. In Quebec, where a large majority of autonomous public libraries are directly under the supervision of municipalities, public libraries have to define and legitimate their missions with city councillors. The main objective of this research is to understand, via the discourses, the point of view of city councillors in Quebec on the missions of autonomous public libraries, compared to the libraries’ practices in their communities. Using the theory of the social construction of reality, a conceptual framework is proposed not only to study the discourses in their textual dimension, but also to contextualize them and analyze the distance between them and the libraries’practices.The research strategy adopted is that of the multiple case study. The aim is to develop an in-depth analysis of each case as well as a cross-case analysis. The twelve cases (municipalities) were selected according to two criteria of variation (size of the municipality and annual budget allocated by the municipality to the library) and a discriminant criterion (the distance from the Université de Montréal). Interviews were conducted with the city councillors who chair the commissions or the committees on which the public libraries depend. These interviews and the municipal cultural policies were subjected to a discourse analysis. The interviews with the directors of the public libraries and documents were subjected to content analysis. This made possible the triangulation of methods and data sources. Neither the city councillors in Quebec, nor the professionals have a homogenous discourse on the missions of public libraries. However, a model of discourse does emerge. It shows a “limited” discourse compared to the literature, in which a passive image of thelibrary is presented and in which the tradition continues in spite of the context of the information society. But the analysis also revealed that the city councillors base their points of view on their own convictions as individuals, on their role in the management of the municipality as elected officials, and on the image they have of the users of public libraries. Finally, the analysis revealed an axis of differentiation of the points of view according to whether the discourse was based on fundamental values or on the (real or supposed) uses of the library. / FQRSC. Bourse de doctorat en recherche

Cette thèse s’intéresse au phénomène des collections de traductions dans la France du XIXe siècle, particulièrement entre les années 1821 et 1852, dans le but de dévoiler les identités réelles et les identités discursives des traducteurs qui y ont collaboré. Elle tire sa légitimité du peu de travaux effectués jusqu’à ce jour sur les collections de traductions, notamment dans le champ des études littéraires. Nous distinguons deux ensembles, celui de la traduction à partir des langues anciennes (grec et latin) et celui de la traduction à partir des langues modernes (anglais, allemand, italien et espagnol), et décrivons en détail l’architecture globale de cinq entreprises collectives, à savoir : la Bibliothèque Panckoucke, la Collection Nisard, Les Poèmes grecs d’E. Falconnet, la Collection Ladvocat et le Théâtre européen. Grâce à l’information recueillie sur les pages titres et dans les tables de matières, nous avons établi une liste première de 182 traducteurs qui ont signé des traductions en sein de ces entreprises prestigieuses. En adoptant la perspective « prosopographique », nous avons mené notre enquête sur l’identité réelle de ces traducteurs dans des dictionnaires de l’époque (la Biographie générale du Dr. Hoefer, le Dictionnaire des contemporains de Gustave Vapereau et le Grand dictionnaire universel de Pierre Larousse), avec le but de déterminer les horizons dont ils proviennent, leurs domaines d’intérêt, leurs groupes d’âge, leurs implication dans la société littéraire de l’époque, etc. En outre, ces collections nous ont servi de bases de données pour établir une liste de 169 préfaces de traducteurs dont la lecture sérielle, en ayant recours au concept de « scénographie », propre à l’analyse du discours, permet de dégager la personnalité discursive des signataires, de voir de quelle façon ils se présentent au public, et de vérifier jusqu’à quel point leurs identités réelles imprègnent leurs identités discursives. Nous proposons aussi dans cette thèse un essai de poétique et de typologie des préfaces des traducteurs dans les collections de traduction. Notre étude s’articule autour de quatre grandes questions auxquelles nous avons tenté de répondre essentiellement à partir des discours préliminaires des traducteurs : qu’est-ce qu’on traduit? pourquoi traduit-on? comment dit-on avoir traduit? et, finalement, qui traduit? Trois grandes figures de traducteurs s’y trouvent enfin définies : « l’érudit », « le littérateur » et « le lettré ». Les résultats de l’enquête sur les identités réelles des traducteurs ont été recueillis sous la forme de courtes notices bio-bibliographiques et exposés dans un dictionnaire à la fin de la thèse.

Cette thèse explore la complexité de la notion de patrimoine depuis un contexte caribéen, à la fois spécifique et intimement lié aux mouvements du monde depuis le XVIe siècle. Elle s’intéresse à l’entre-deux qui caractérise le patrimoine, entre la dimension héritée -perçue comme un donné inaliénable, malgré soi-, et la dimension construite au présent pour un devenir, manifestée par ce que l’on souhaite transmettre aux générations futures. Le patrimoine se déploie dans la relation singulier-collectif dont il convoque les imaginaires du monde, les connexions entre des espaces et des temporalités diverses. Il peut être perçu comme un baromètre de la capacité des sociétés à s’inscrire dans un ordre communicationnel envisagé comme un acte de partage. La perspective multidirectionnelle proposée confronte des mobilisations historicisées d’un patrimoine outil des pouvoirs, pris dans des convergences politiques, économiques et techniques dans lequel se forge également l’ordre de la connaissance, aux fonctions sociales du patrimoine qui renvoient à une quête de sens, de lien social, de ressources et s’inscrit dans des territorialités complexes. La Caraïbe, territoire polythétique, présente un point de vue inédit pour remettre en question ce couple patrimoine/territoire et les paradigmes problématiques que son institutionnalisation a naturalisé pendant la période de formation des identités nationales européennes, période corrélée à l’émergence de la Modernité. La Traite négrière transatlantique, le système esclavagiste fondé sur la race puis la colonisation constituent une histoire associée à la souffrance, un passé transnational complexe dont la mise en partage est encore problématique, un héritage que personne ne souhaite accepter et qui marque pourtant encore à divers égards les rapports sociaux contemporains. La capacité à performer, à composer avec l’apport de chacun, à transmettre des savoirs-faire s’est déployée dans les sociétés caribéennes avec et contre les systèmes d’oppression, comme une forme de résistance et de survie, une ressource vitale essentielle du point de vue pratique et symbolique. Longtemps rejetés de l’espace normatif du patrimoine, ces héritages incorporent des perceptions peu compatibles avec les définitions et les modalités de traitement figées du patrimoine institutionnel articulées autour des productions matérielles. Le discours poétique et intellectuel caribéen à partir des années 1960-1970 s’est forgé dans une double dynamique, associant la déconstruction critique de l’ordre institué initiée par la première génération, à un imaginaire de l’espace commun inspiré de la volonté de revaloriser les héritages, leur créativité et la capacité d’action des Hommes à réinventer des imaginaires du monde fondés sur la Relation. Ce projet caribéen est ici lu comme la proposition d’une rupture patrimoniale créatrice liée à un territoire en rupture avec la superposition-fusion de l’espace politique, physique et culturel imposé par le prisme de l’imaginaire national. Cette thèse part sur les traces de ces dimensions relationnelles dans lesquelles interviennent des constructions historiques, des trajectoires et territorialités multiples, puis tente de mettre au jour les paradigmes naturalisés, les héritages et les contraintes contemporaines qui participent de cet empêchement patrimonial qui n’est pas sans relation avec des conflits que suscite le traitement du passé dans l’espace public. Le dernier mouvement met ces recherches en perspective de l’observation de dispositifs effectifs : les bibliothèques numériques de la Caraïbe. Il en analyse les modalités de construction, interroge les contextes individuels et collectifs qui les animent et les territorialités multiples qui interviennent dans ces hétérotopies ultimes de la Caraïbe, manifestations effectives de l’utopie caribéenne. / This thesis explores the complexity of the notion of heritage from a Caribbean context, both specific and intimately linked to world movements since the sixteenth century. It examines the in-between that characterizes heritage, between the inherited dimension-perceived as an inalienable given, and the dimension constructed in the present for a becoming, manifested by what one wishes to transmit to the future generations. The heritage unfolds in the singular-collective relationship of which it invokes the imaginary world, the connections between spaces and different temporalities. It can be perceived as a barometer of the capacity of societies to fit into a communication order envisaged as an act of sharing. The proposed multidirectional perspective confronts historicized mobilizations of a patrimony that is a tool of the powers taken up in political, economic and technical convergences, in which the order of knowledge is also forged, to the social functions of heritage which refer to a quest for meaning, social bonding, resources and is part of complex territorialities. The Caribbean, a polythetic territory, presents an unprecedented point of view to question this heritage / territory couple and the problematic paradigms that its institutionalization naturalized during the period of formation of European national identities, a period correlated with the emergence of Modernity. The Transatlantic Slave Trade, the slave system based on race and then colonization, is a history associated with suffering, a complex transnational past, the sharing of which is still problematic, a legacy that no one wishes to accept, but which still impact social relations. The capacity to perform, to cope with the contribution of each one, to transmit know-how has been deployed in the Caribbean societies with and against the systems of oppression, as a form of resistance and survival, an essential vital resource from a practical and symbolic point of view. Long ago rejected from the normative space of the heritage, these legagy incorporate perceptions that are incompatible with the definitions and the fixed treatment methods of the institutional heritage articulated around the material productions. The Caribbean poetic and intellectual discourse from the years 1960-1970 was forged in a double dynamic, associating the critical deconstruction of the instituted order initiated by the first generation with an imaginary of the common space inspired by the will to revalorize the heritages, their creativity and the ability of Men to reinvent the imaginations of the world based on the Relation. This Caribbean project is here read as the proposal of a creative heritage break linked to the maling of a territory in breach with the superposition-fusion of the political, physical and cultural space imposed by the prism of the national imagination. This thesis takes as its starting point the traces of these relational dimensions in which historical constructions, multiple trajectories and territorialities intervene, and then tries to bring to light the naturalized paradigms, the inheritances and the contemporary constraints which participate in this heritage impediment which is not unrelated to conflicts arising from the treatment of the past in public space. The last movement puts this research in perspective of the observation of effective projects: the digital libraries of the Caribbean. The author analyzes the methods of construction, questions the individual and collective contexts and the multiple territorialities that intervene in these ultimate heterotopies of the Caribbean, manifestations of the Caribbean utopia. This observation makes it possible to measure the obstacles of all kinds facing actors engaged in projects that aim to shape or reveal relations between territories that are both distinct and connected and to treat the heritage both as traces of the past and as a living, dynamic phenomenon, constantly enriched by contemporary experiences.

Notre thèse porte sur François Sabatier (1818, Montpellier – 1891, Lunel), époux de la cantatrice Caroline Ungher, traducteur de Goethe et Schiller, connu comme critique et mécène fouriériste à travers la publication de son Salon de 1851 à la Librairie phalanstérienne et la commande du décor de son palais florentin à des artistes fouriéristes (Bouquet, Ottin, Papéty). L'utilisation de sources inutilisées, ses manuscrits et la reconstitution de sa bibliothèque léguée à Montpellier permettent de reconsidérer les rapports à l'art de François Sabatier. Sa formation, entre fréquentation des artistes (Courbet, Hébert, Ricard, Lefuel, Lessore), voyages, séjours et résidences (Allemagne, Grèce, Italie), lectures et rencontres des auteurs est ainsi mieux connue. Ce que sa critique doit à celle-ci est éclairé de même que son ambition théorique. Enfin, sa participation pratique à des débats artistiques et historiques contemporains, le réalisme, l'attribution du palais de la Zisa à Palerme et les techniques de restaurations des mosaïques en Sicile, font apparaître d'importantes contributions. Les réseaux qui constituent sa sociabilité et ses engagements révèlent des auteurs comme Amari, Di Marzo, Michelet, Villari, Schnaase, Gregorovius, et des acteurs de la conservation des œuvres, Salinas, Riolo. La démarche suivie, qui s'est appuyée sur le catalogage de sa bibliothèque et le relevé des dédicaces et notes en marge des ouvrages, permet donc de préciser la nature de ses rapports à l'art, plus étendus que la critique, le mécénat et la collection / This thesis focuses on François Sabatier (1818, Montpellier - 1891, Lunel), husband of the singer Caroline Ungher and translator of Goethe and Schiller, known as a patron and Fourierist critic through the publication of his Salon de 1851 in the Librairie phalanstérienne and his selection of the decor of his Florentine palace by Fourierist artists (Bouquet, Ottin, Papety). The utilisation of previously unused historical sources, of his manuscripts and the reconstruction of his library, which was bequeathed to Montpellier, allow one to reconsider Sabatier's relationship to art. As a result, his formation, which includes his association with artists (Courbet, Hébert, Ricard, Lefuel, Lesscore), his journeys and residencies (in Germany, Greece, Italy), his readings and meetings with authors is now better known. Consequently, his critique and his theoretical ambitions appear in a new light. Finally, his engagement in contemporary artistic and historical debates, realism, awarding of the Zisa palace to Palermo and techniques for restauring mosaics in Sicily all exemplify his important contributions. The networks constituting his sociability and engagements include authors such as Amari, Di Marzo, Michelet, Villari, Schnaase, Gregorovius, and such conservators of art works as Salinas and Riolo. The approach followed here is based on the cataloging of his library and the recording of his inscriptions and marginal notes in books, and allows one to specify the nature of his relationship to art, which goes far beyond critique, patronage and collection

Cette thèse s’intéresse au phénomène des collections de traductions dans la France du XIXe siècle, particulièrement entre les années 1821 et 1852, dans le but de dévoiler les identités réelles et les identités discursives des traducteurs qui y ont collaboré. Elle tire sa légitimité du peu de travaux effectués jusqu’à ce jour sur les collections de traductions, notamment dans le champ des études littéraires. Nous distinguons deux ensembles, celui de la traduction à partir des langues anciennes (grec et latin) et celui de la traduction à partir des langues modernes (anglais, allemand, italien et espagnol), et décrivons en détail l’architecture globale de cinq entreprises collectives, à savoir : la Bibliothèque Panckoucke, la Collection Nisard, Les Poèmes grecs d’E. Falconnet, la Collection Ladvocat et le Théâtre européen. Grâce à l’information recueillie sur les pages titres et dans les tables de matières, nous avons établi une liste première de 182 traducteurs qui ont signé des traductions en sein de ces entreprises prestigieuses. En adoptant la perspective « prosopographique », nous avons mené notre enquête sur l’identité réelle de ces traducteurs dans des dictionnaires de l’époque (la Biographie générale du Dr. Hoefer, le Dictionnaire des contemporains de Gustave Vapereau et le Grand dictionnaire universel de Pierre Larousse), avec le but de déterminer les horizons dont ils proviennent, leurs domaines d’intérêt, leurs groupes d’âge, leurs implication dans la société littéraire de l’époque, etc. En outre, ces collections nous ont servi de bases de données pour établir une liste de 169 préfaces de traducteurs dont la lecture sérielle, en ayant recours au concept de « scénographie », propre à l’analyse du discours, permet de dégager la personnalité discursive des signataires, de voir de quelle façon ils se présentent au public, et de vérifier jusqu’à quel point leurs identités réelles imprègnent leurs identités discursives. Nous proposons aussi dans cette thèse un essai de poétique et de typologie des préfaces des traducteurs dans les collections de traduction. Notre étude s’articule autour de quatre grandes questions auxquelles nous avons tenté de répondre essentiellement à partir des discours préliminaires des traducteurs : qu’est-ce qu’on traduit? pourquoi traduit-on? comment dit-on avoir traduit? et, finalement, qui traduit? Trois grandes figures de traducteurs s’y trouvent enfin définies : « l’érudit », « le littérateur » et « le lettré ». Les résultats de l’enquête sur les identités réelles des traducteurs ont été recueillis sous la forme de courtes notices bio-bibliographiques et exposés dans un dictionnaire à la fin de la thèse.

Aujourd'hui on se demande souvent quel sera le sort des livres et des bibliothèques par rapport au développement des technologies numériques et au changement de la fonction urbaine et sociale des bibliothèques. Essayer d'envisager un scénario futur est très difficile, surtout si on pense que le livre et les bibliothèques sont à la fois très liées à différents instances de la société contemporaine, qui n'ont pas encore trouvé leur propre identité. D'autre part, la société contemporaine se trouve dans une phase de transition technologique qui risque, sans aucun doute, de produire des importants changements, pas seulement aux bibliothèques, mais surtout à notre mode de vie. C'est pour ces raisons que, à partir du titre, la recherche s'interroge sur le «devenir» de la Bibliothèque publique, sur son «destin», aujourd'hui pas encore écrit et souvent en désaccord avec les prévisions et les résultats des études récents, pour arriver à obtenir des nouvelles stratégies de conception pour les bâtiments du XXIe siècle. Dans ce cadre il faut s'interroger sur trois grandes questions liées aux bibliothèques du XXI siècle: la question du devenir du livre et de la lecture publique, autrement dit «question du support» ; la question de l'architecture des Bibliothèques publiques ; la question du rôle de la Bibliothèque Publique comme établissement culturel et urbain. Le dernier de ces trois points permet de comprendre les relations nouvelles, à la fois à la petite et à la grande échelle, entre les établissements publics et l'espace urbain. Ces relations sont maintenant liées aux nouvelles formes de mobilité des citoyens des banlieues aux centres villes. La bibliothèque publique devient alors le prisme à travers lequel pouvoir étudier les relations entre l'espace construit et ouvert de la ville. Les modifications dues à ces aspects, influenceront surement les bibliothèques et, dans une certaine mesure, seront capables de mettre en question l'utilité de ce établissement (comme on est habitué à l'imaginer aujourd'hui) et surtout de sa mission traditionnelle. La recherche essaie, donc, de donner une réponse forte et transversale à toutes ces questions en utilisant les instruments propres de l'Architecture / Today we often try to understand what will happen to books and libraries in relation to the development of digital technologies and to the changing of urban and social function of libraries. Trying to suppose a plausible future scenario is very difficult, especially because books and libraries are both closely linked to various and different issues of contemporary society that have not yet found their own identity. In addition, the contemporary society is in a technological transition phase that risks, without doubts, to produce very important changes, not only in libraries world, but especially in our own lifestyle. For these reasons, just from the title, this thesis aims to investigate the “becoming” of the Public Library and his "destiny" that, today, is far from being written and disagrees with predictions and empirical data that result from different researches, in order to obtain new design strategies for the architectures of the twenty-first century. In this context it is necessary to examine three major issues related to the libraries: the question of the future of books and public reading, i.e. “support issue”; the question of the architecture of Public Libraries; the question of the role of Public Library as cultural institution and urban architecture. The last point permits to understand the new relationships, both at the small and the large scale, between public buildings and urban space. Those relationships are now linked to the new citizens' mobility between suburbs and city centres. The public library became the prism with which we can study the relationship between built and open spaces in the city. Changes due to these aspects certainly will affect Public Libraries and, to a certain extent, they will be able to modify the use of this institution (as we know it today) and especially its traditional mission. The research wants to give a strong and multidisciplinary answer to all these issues using the “own architectural tools”

Les services aux usagers des bibliothèques représentent un sujet fondamental en bibliothéconomie. Or, les usagers sont un groupe hétérogène à qui l’on doit offrir les mêmes services ou, à tout le moins, la possibilité d’obtenir des services répondant à leurs besoins en matière d’adaptation des lieux et des services. Malheureusement, les bibliothèques publiques ont parfois du mal à rendre un service adapté adéquat et les personnes concernées connaissent souvent mal les services dont elles pourraient bénéficier. Pourtant, les personnes handicapées font partie intégrante des usagers et leur présence augmente, notamment à cause du vieillissement de la population et d’une meilleure capacité d’établir des diagnostics. Notons que ces citoyens revendiquent de plus en plus leur autonomie et le fait de pouvoir profiter des mêmes services que le reste de la population. Ceci est d’autant plus vrai depuis l’apparition d’aides techniques et des outils technologiques tels les ordinateurs, les tablettes, les logiciels, etc. qui leur permettent de vivre leur vie à part entière. Aussi, les bibliothèques et leurs gestionnaires doivent impérativement s’assurer que l’accueil de ces usagers « comme les autres », mais aux besoins particuliers, sera assuré convenablement. Puisqu’il manque d’études concernant les services offerts aux personnes handicapées dans les bibliothèques publiques du Québec, nous avons décidé de procéder à une enquête, par le biais d’un questionnaire électronique administré aux employés de bibliothèques dont les fonctions sont de participer aux services aux usagers. Les réponses obtenues ont permis de dresser un portrait de la situation actuelle en matière de services aux personnes adultes handicapées dans les bibliothèques publiques québécoises et d’avancer certaines recommandations. Les résultats devraient aider les responsables de bibliothèques à déterminer où et comment concentrer leurs efforts pour rendre leurs établissements plus accueillants pour les personnes ayant des incapacités. Plus précisément, les objectifs de la recherche étaient les suivants : 1. Recenser les services offerts par les bibliothèques publiques québécoises aux usagers adultes handicapés. 2. Recenser les éléments d’accessibilité présents dans les infrastructures des bibliothèques publiques québécoises. 3. Évaluer l’impact de certaines caractéristiques des bibliothèques sur l’offre de services aux usagers adultes handicapés et les éléments reliés à l’accessibilité. 4. Comparer les résultats des enquêtes précédentes (Bibliothèque nationale du Canada 1976 ; Bergeron 1987) pour mettre en évidence les recommandations qui ont été appliquées et celles qui ne l’ont pas été. / Services offered to library users are important to librarianship. However, users form an heterogeneous group and the same services should be offered or, at least, be made available to all members of the community. Unfortunately, public libraries sometimes are experiencing difficulties to provide adequate and adapted services to people have disabilities those, often, are not aware of the services they could benefit from. In addition, these individuals are often not aware pf the services that are offered to them. However, people with disabilities are part of the community and their number is increasing due to the aging of the population and better diagnostic capabilities. We should also mention that those people claim their autonomy more than before as well as the right to be able to enjoy the same services as the rest of the population. This has become even more true since the introduction of different technical and technological aids and services that allow them to live their lives to the fullest. For all these reasons, library managers must ensure that the reception of these users with special needs will be adequately insured, thus enabling them to become users “like the others”. As there is a lack of studies on the subject, we have decided to examine the situation through an electronic questionnaire sent to public library employees responsible for user services. The results collected have enabled us to draw a picture of the current state of disability services in public libraries in Quebec and to provide certain recommendations. The results should help library managers to establish where and how to focus their efforts to make their institutions more welcoming to this category of users. Specifically, the research objectives were: 1. Identify services offered by public libraries in Quebec to adult users with disabilities. 2. Identify current accessibility elements present in Quebec public libraries’ infrastructure. 3. Avaluate the impact of the presence or absence of accessibility measures on the supply of services for adult users with disabilities and items related to accessibility. 4. Compare the results with those of previous surveys (Bibliothèque nationale du Canada 1976 ; Bergeron 1987) to highlight the recommendations that have been applied and those that have not.

Cette thèse se place dans le cadre des méthodes formelles et plus précisément dans celui de la vérification déductive et du système Why3. Ce dernier fournit un ensemble d'outils pour la spécification, l'implémentation et la vérification à l'aide de démonstrateurs externes. Why3 propose en particulier un langage de programmation adapté à la preuve, appelé WhyML. Un aspect important de ce langage est le code fantôme, à savoir des éléments de programme introduits exclusivement pour les besoins de la spécification et de la preuve. Pour obtenir un code exécutable, le code fantôme est éliminé par un processus automatique appelé extraction. L'une des contributions principales de cette thèse est la formalisation et l'implémentation du mécanisme d'extraction deWhy3. La formalisation consiste à montrer que le programme extrait préserve la sémantique du programme de départ, en s'appuyant notamment sur un système de types avec effets. Ce mécanisme d'extraction a été utilisé avec succès pour obtenir plusieurs modules OCaml corrects par construction, dans le cadre d'une bibliothèque vérifiée de structures de données et d'algorithmes. Cet effort de preuve a conduit à deux autres contributions de cette thèse.La première est une technique systématique pour la vérification de structures avec pointeurs, à l'aide de modèles du tas délimités.Une preuve entièrement automatique d'une structure union-find a pu être obtenue grâce à cette technique. La seconde contribution est un moyen de spécifier un algorithme d'itération indépendamment de son implémentation. Plusieurs curseurs et itérateurs d'ordre supérieur ont été spécifiés et vérifiés en utilisant cette approche. / This thesis is set in the field of formal methods, more precisely in the domain of deductive program verification. Our working context is the Why3 framework, a set of tools to implement, formally specify, and prove programs usingoff-the-shelf theorem provers. Why3 features a programming language,called WhyML, designed with verification in mind. An important feature of WhyML is ghost code: portions of the program that are introduced for the sole purpose of specification andverification. When it comes to get an executable implementation, ghost code is removed by an automatic process called extraction. One of the main contributions of this thesis is the formalization and implementation of Why3's extraction. The formalization consists in showing that the extracted program preserves the same operational behavior as the original source code, based on a type and effect system. The new extraction mechanism has been successfully used to get correct-by-construction OCaml modules, which are part of averified OCaml library of data structures and algorithms. This verification effort led to two other contributions of this thesis.The first is a systematic approach to the verification ofpointer-based data structures using ghost models of fragments of the heap. A fully automatic verification of a union-find data structure was achieved using this technique. The second contribution is a modular way to reason about iteration, independently of the underlying implementation. Several cursors and higher-orderiterators have been specified and verified with this approach.

Alors que les bibliothèques d’écrivains et d’artistes plasticiens ont déjà fait l’objet de publications théoriques et méthodologiques d’envergure (cf. notamment :D’Iorio et Ferrer, 2001 ;Levaillant, Gamboni et Bouiller, 2010 ;Belin, Mayaux et Verdure-Mary, 2018) soutenues par nombre d’études monographiques, les bibliothèques littéraires de compositeurs ne peuvent encore se prévaloir d’une telle attention. Ainsi, en écartant la question des liens entre textes et musique dans les œuvres, déjà abondamment étudiée, et à la suite des recherches menées à propos des écrits de compositeurs, la présente thèse entend contribuer à l’élargissement des études musico-littéraires, en interrogeant les bibliothèques littéraires des compositeurs, comprises comme « ensembles de textes », pour elles-mêmes et comme ensembles construits. Cette thèse se compose de deux parties. La première partie présente, en premier lieu, un état de l’art des recherches relatives aux bibliothèques de compositeurs, en se concentrant avant tout sur le champ français et le statut de ce type d’archives dans les fonds musicaux. En second lieu, s’ensuit une révision des notions théoriques établies dans le cadre des études sur les bibliothèques d’écrivains et de peintres, à la lumière de notre objet d’étude. S’y pose également la question des limites à donner à la « bibliothèque littéraire » du compositeur, par rapport à ce que pourrait comprendre sa « bibliothèque musicale ». La seconde partie de la thèse est consacrée à l’étude des bibliothèques de Vincent d’Indy (1851-1931), Maurice Ravel (1875-1937) et Francis Poulenc (1899-1963), l’objectif étant de préciser les voies par lesquelles ces compositeurs ont enrichi leur capital culturel, en s’aventurant au-delà de la sphère musicale. Y sont abordées, d’une part, les questions de reconstitution et d’inventorisation de ces bibliothèques, d’autre part, celles des pratiques de lecture et des dynamiques intellectuelles et créatrices que ces bibliothèques mettent en œuvre. Les inventaires des bibliothèques de d’Indy, Ravel et Poulenc sont disponibles en annexe. / Doctorat en Langues, lettres et traductologie / info:eu-repo/semantics/nonPublished