A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

L’étude de l’InP et du GaP suite à l’implantation ionique de Mn et à un recuit thermique

Cette thèse est dédiée à l’étude des matériaux InMnP et GaMnP fabriqués par implantation ionique et recuit thermique. Plus précisément nous avons investigué la possibilité de former par implantation ionique des matériaux homogènes (alliages) de InMnP et GaMnP contenant de 1 à 5 % atomiques de Mn qui seraient en état ferromagnétique, pour des possibles applications dans la spintronique. Dans un premier chapitre introductif nous donnons les motivations de cette recherche et faisons une revue de la littérature sur ce sujet. Le deuxième chapitre décrit les principes de l’implantation ionique, qui est la technique utilisée pour la fabrication des échantillons. Les effets de l’énergie, fluence et direction du faisceau ionique sur le profil d’implantation et la formation des dommages seront mis en évidence. Aussi dans ce chapitre nous allons trouver des informations sur les substrats utilisés pour l’implantation. Les techniques expérimentales utilisées pour la caractérisation structurale, chimique et magnétique des échantillons, ainsi que leurs limitations sont présentées dans le troisième chapitre. Quelques principes théoriques du magnétisme nécessaires pour la compréhension des mesures magnétiques se retrouvent dans le chapitre 4. Le cinquième chapitre est dédié à l’étude de la morphologie et des propriétés magnétiques des substrats utilisés pour implantation et le sixième chapitre, à l’étude des échantillons implantés au Mn sans avoir subi un recuit thermique. Notamment nous allons voir dans ce chapitre que l’implantation de Mn à plus que 1016 ions/cm2 amorphise la partie implantée du matériau et le Mn implanté se dispose en profondeur sur un profil gaussien. De point de vue magnétique les atomes implantés se trouvent dans un état paramagnétique entre 5 et 300 K ayant le spin 5/2. Dans le chapitre 7 nous présentons les propriétés des échantillons recuits à basses températures. Nous allons voir que dans ces échantillons la couche implantée est polycristalline et les atomes de Mn sont toujours dans un état paramagnétique. Dans les chapitres 8 et 9, qui sont les plus volumineux, nous présentons les résultats des mesures sur les échantillons recuits à hautes températures : il s’agit d’InP et du GaP implantés au Mn, dans le chapitre 8 et d’InP co-implanté au Mn et au P, dans le chapitre 9. D’abord, dans le chapitre 8 nous allons voir que le recuit à hautes températures mène à une recristallisation épitaxiale du InMnP et du GaMnP; aussi la majorité des atomes de Mn se déplacent vers la surface à cause d’un effet de ségrégation. Dans les régions de la surface, concentrés en Mn, les mesures XRD et TEM identifient la formation de MnP et d’In cristallin. Les mesures magnétiques identifient aussi la présence de MnP ferromagnétique. De plus dans ces mesures on trouve qu’environ 60 % du Mn implanté est en état paramagnétique avec la valeur du spin réduite par rapport à celle trouvée dans les échantillons non-recuits. Dans les échantillons InP co-implantés au Mn et au P la recristallisation est seulement partielle mais l’effet de ségrégation du Mn à la surface est beaucoup réduit. Dans ce cas plus que 50 % du Mn forme des particules MnP et le restant est en état paramagnétique au spin 5/2, dilué dans la matrice de l’InP. Finalement dans le dernier chapitre, 10, nous présentons les conclusions principales auxquels nous sommes arrivés et discutons les résultats et leurs implications.

Le changement organisationnel : la prédiction des comportements de soutien et de résistance par le biais des préoccupations

Depuis plus de 50 ans, les chercheurs s’intéressent à la résistance au changement. Or, malgré plusieurs années de recherche, on ne sait toujours pas exactement quelles variables peuvent prédire les comportements de résistance et encore moins ceux de soutien. La présente thèse vise à pallier cette lacune en identifiant des variables pouvant expliquer à la fois les comportements de soutien et de résistance lors d’un changement organisationnel majeur. Le modèle des phases de préoccupations (Bareil 2004a) s’avère intéressant à cet effet puisqu’il intègre bien les savoirs actuels et s’adapte à différents changements. L’objectif principal de cette thèse est donc de vérifier jusqu’à quel point les comportements de soutien et de résistance peuvent être prédits par les phases de préoccupations, en tenant compte de l’engagement affectif envers le changement comme variable médiatrice et du rôle des acteurs et de l’avancement de la mise en œuvre comme variables modératrices. Pour ce faire, une étude a été menée auprès d’enseignants, de professionnels et de directeurs d’une Commission scolaire québécoise ayant implanté une réforme majeure provoquant des préoccupations d’intensité variée et des comportements divers, allant de la résistance au soutien. Les analyses acheminatoires effectuées auprès de deux échantillons indépendants (n=464 et n=171) indiquent que les premières phases du modèle (centrées sur le destinataire, l’organisation et le changement) sont liées positivement aux comportements de résistance et négativement à ceux de soutien. À l’inverse, les dernières phases (centrées sur l’expérimentation, la collaboration et l’amélioration continue) sont liées négativement aux comportements de résistance et positivement à ceux de soutien. Ainsi, plus on avance dans la séquence des phases de préoccupations, plus les comportements de soutien augmentent et ceux de résistance diminuent. Également, l’engagement affectif envers le changement agit à titre de variable médiatrice et permet d’expliquer davantage de variance des comportements de soutien et de résistance. De plus, les analyses de régression indiquent que les phases de préoccupations expliquent davantage de variance des comportements de soutien des agents de changement, alors qu’elles expliquent plus de variance des comportements de résistance des destinataires. On constate aussi que c’est au début de la mise en œuvre que les phases de préoccupations expliquent le plus de variance des comportements de soutien et de résistance. Finalement, un troisième échantillon (n=143) permet de suivre l’évolution des participants ayant répondu deux fois au questionnaire. Les tests t ne rapportent aucune différence significative entre les deux temps de mesure et ce, autant pour les phases de préoccupations que pour les comportements de soutien et de résistance. On constate que lorsque les phases de préoccupations n’évoluent pas, les comportements de soutien ou de résistance demeurent les mêmes. En somme, ces résultats indiquent qu’il est possible de prédire à la fois les comportements de soutien et de résistance avec les phases de préoccupations. En outre, on sait maintenant à quel moment et avec quel type d’acteurs le modèle des phases de préoccupations s’avère le plus utile. Afin de généraliser ces résultats, il serait pertinent de reproduire cette recherche dans une autre organisation qui implante un changement majeur.

Analyse d'une intervention conçue pour les adolescentes enceintes : le projet Un bébé pour bientôt

Rapport d'analyse d'intervention présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en psychoéducation

Implantation des futures sur un système distribué par passage de messages

Ce mémoire présente une implantation de la création paresseuse de tâches desti- née à des systèmes multiprocesseurs à mémoire distribuée. Elle offre un sous-ensemble des fonctionnalités du Message-Passing Interface et permet de paralléliser certains problèmes qui se partitionnent difficilement de manière statique grâce à un système de partitionnement dynamique et de balancement de charge. Pour ce faire, il se base sur le langage Multilisp, un dialecte de Scheme orienté vers le traitement parallèle, et implante sur ce dernier une interface semblable à MPI permettant le calcul distribué multipro- cessus. Ce système offre un langage beaucoup plus riche et expressif que le C et réduit considérablement le travail nécessaire au programmeur pour pouvoir développer des programmes équivalents à ceux en MPI. Enfin, le partitionnement dynamique permet de concevoir des programmes qui seraient très complexes à réaliser sur MPI. Des tests ont été effectués sur un système local à 16 processeurs et une grappe à 16 processeurs et il offre de bonnes accélérations en comparaison à des programmes séquentiels équiva- lents ainsi que des performances acceptables par rapport à MPI. Ce mémoire démontre que l’usage des futures comme technique de partitionnement dynamique est faisable sur des multiprocesseurs à mémoire distribuée.

Une architecture parallèle distribuée et tolérante aux pannes pour le protocole interdomaine BGP au cœur de l’Internet

L’augmentation du nombre d’usagers de l’Internet a entraîné une croissance exponentielle dans les tables de routage. Cette taille prévoit l’atteinte d’un million de préfixes dans les prochaines années. De même, les routeurs au cœur de l’Internet peuvent facilement atteindre plusieurs centaines de connexions BGP simultanées avec des routeurs voisins. Dans une architecture classique des routeurs, le protocole BGP s’exécute comme une entité unique au sein du routeur. Cette architecture comporte deux inconvénients majeurs : l’extensibilité (scalabilité) et la fiabilité. D’un côté, la scalabilité de BGP est mesurable en termes de nombre de connexions et aussi par la taille maximale de la table de routage que l’interface de contrôle puisse supporter. De l’autre côté, la fiabilité est un sujet critique dans les routeurs au cœur de l’Internet. Si l’instance BGP s’arrête, toutes les connexions seront perdues et le nouvel état de la table de routage sera propagé tout au long de l’Internet dans un délai de convergence non trivial. Malgré la haute fiabilité des routeurs au cœur de l’Internet, leur résilience aux pannes est augmentée considérablement et celle-ci est implantée dans la majorité des cas via une redondance passive qui peut limiter la scalabilité du routeur. Dans cette thèse, on traite les deux inconvénients en proposant une nouvelle approche distribuée de BGP pour augmenter sa scalabilité ainsi que sa fiabilité sans changer la sémantique du protocole. L’architecture distribuée de BGP proposée dans la première contribution est faite pour satisfaire les deux contraintes : scalabilité et fiabilité. Ceci est accompli en exploitant adéquatement le parallélisme et la distribution des modules de BGP sur plusieurs cartes de contrôle. Dans cette contribution, les fonctionnalités de BGP sont divisées selon le paradigme « maître-esclave » et le RIB (Routing Information Base) est dupliqué sur plusieurs cartes de contrôle. Dans la deuxième contribution, on traite la tolérance aux pannes dans l’architecture élaborée dans la première contribution en proposant un mécanisme qui augmente la fiabilité. De plus, nous prouvons analytiquement dans cette contribution qu’en adoptant une telle architecture distribuée, la disponibilité de BGP sera augmentée considérablement versus une architecture monolithique. Dans la troisième contribution, on propose une méthode de partitionnement de la table de routage que nous avons appelé DRTP pour diviser la table de BGP sur plusieurs cartes de contrôle. Cette contribution vise à augmenter la scalabilité de la table de routage et la parallélisation de l’algorithme de recherche (Best Match Prefix) en partitionnant la table de routage sur plusieurs nœuds physiquement distribués.

Possibilités d’une théologie évangélique postmoderne et pratiques des Églises évangéliques en contexte québécois

Alors qu’un nombre grandissant de théologiens évangéliques anglo-saxons se définissent comme postmodernes, ce mémoire vise, dans un premier temps, à définir ce que cela veut dire, à travers l’étude d’un ouvrage phare de ce mouvement théologique. Nous avançons que cela signifie que ces théologiens développent une théologie qui est en opposition à une théologie fondationnaliste, qu’ils confrontent les absolus du monde moderne au relativisme du monde postmoderne, et qu’ils plaident en faveur d’un relativisme modéré. Cela a des implications dans une pratique ecclésiologique qui se définit comme émergente. Cependant, ces nouveaux courants de pensées et de pratiques suscitent de nombreuses critiques d’autres théologiens évangéliques qui tiennent beaucoup à préserver les absolus que leur a apportés le cartésianisme, ainsi qu’une tradition ecclésiastique bien implantée. Ce mémoire examinera et résumera, dans un deuxième temps, les critiques qui viennent de ces théologiens. Puisque nous sommes en contexte québécois, nous avons également, dans un troisième temps, répertorié les écrits de théologiens évangéliques québécois sur le postmodernisme. De cette littérature nous avons choisi de résumer un article écrit en perspective d’une conférence donnée par l’auteur à un colloque qui a eu lieu à Montréal en 2007 au sujet des Églises émergentes. Nous avons aussi fait des entrevues semi- dirigées afin de comprendre la pratique ecclésiologique émergente dans le contexte québécois. La première entrevue a été réalisée avec un théologien évangélique québécois postmoderne et la deuxième avec un groupe composé de quelques personnes membres d’une Église émergente. Finalement, en conclusion, nous faisons une analyse des différents points de vue discutés dans ce mémoire et nous ouvrons des pistes prospectives concernant l’avenir d’une théologie et d’une ecclésiologie évangélique québécoise postmoderne.

Le roulement du personnel et la performance organisationnelle : l’effet modérateur des pratiques de gestion des ressources humaines

Notre recherche a pour but d’étudier la relation entre le roulement du personnel et la performance organisationnelle tout en mettant en évidence l’effet modérateur des pratiques de gestion des ressources humaines (GRH). De type empirique, cette étude utilise des données provenant de 241 caisses populaires Desjardins faisant partie de la Fédération des caisses Desjardins de Montréal et de l’Ouest-du-Québec dans le secteur bancaire. Notre étude repose sur les fondements théoriques d’Arthur (1994) et de Guthrie (2001) qui soutiennent qu’un roulement élevé dans les organisations diminue la performance organisationnelle. De plus, ces auteurs soutiennent que la stratégie de gestion des ressources humaines (GRH) adoptée par les organisations intervient dans le lien entre le roulement du personnel et la performance organisationnelle. C’est ainsi que, plus les organisations investissent dans leurs pratiques de GRH, plus les départs d’employés seront coûteux car celles-ci perdront alors les investissements faits et les retours attendus, ce qui affectera encore plus négativement la performance organisationnelle. C’est pourquoi, il apparaît nécessaire et intéressant de prendre en compte la gestion des ressources humaines comme contexte dans l’étude du lien entre le roulement du personnel et la performance organisationnelle. Nos résultats montrent que le roulement du personnel influence la performance organisationnelle. Plus particulièrement, nous constatons que le roulement du personnel diminue la productivité et augmente les coûts. Qui plus est, nos analyses ont décelé un effet modérateur des pratiques GRH. En effet, nous observons que l’impact du roulement du personnel sur la performance organisationnelle est plus nuisible pour les entreprises lorsque celles-ci implantent plus de pratiques de mobilisation. De plus, on observe que l’impact du roulement du personnel sur la performance organisationnelle est atténué lorsque les entreprises implantent plus de pratiques d’implication. Cette étude illustre bien la pertinence de tenir compte de la gestion des ressources humaines implantée dans les organisations afin d’expliquer de l’impact du roulement du personnel sur la performance organisationnelle. Ainsi, cette étude permet aux gestionnaires de mieux saisir l’effet du roulement du personnel sur la performance organisationnelle et de les aider à adopter les stratégies ressources humaines adéquates susceptibles d’influencer l’impact du roulement sur la performance de l’organisation. Mots clés : roulement, taux de roulement, performance organisationnelle, gestion des ressources humaines, productivité, efficience, rentabilité.

La promotion de l’allaitement maternel en milieu défavorisé dans le cadre de l’implantation de l’Initiative des amis des bébés : le cas des infirmières de santé communautaire

Contexte : Pour favoriser l’allaitement, la Condition 3 de l’Initiative des amis des bébés (IAB) (OMS / UNICEF) vise à offrir une information complète aux femmes enceintes. Or, cette condition est implantée de façon variable dans les CLSC de Montréal car les intervenants de la santé ne semblent pas confortables à faire la promotion de l’allaitement en prénatal, surtout dans les milieux « québécois » et défavorisés. Objectif : Explorer les expériences personnelles et professionnelles des infirmières en santé communautaire qui sont reliées à la promotion de l’allaitement en prénatal en milieu défavorisé. Dans la présente étude, les informations moins souvent transmises, soit les risques du non-allaitement ainsi que la recommandation de poursuite de l’allaitement jusqu’à deux ans ou au-delà, ont été examinées. Méthodologie : La collecte des données de cette recherche qualitative s’est effectuée auprès d’infirmières de huit CLSC montréalais offrant des services à une population importante de femmes défavorisées, francophones, nées au Canada et ce, sous forme d’entrevues individuelles (n=12 infirmières) et d’entrevues de groupe (n=36 infirmières). Résultats : Les principaux facteurs favorables au niveau de confort des infirmières à faire la promotion de l’allaitement sont d’avoir suivi 20 heures ou plus de formation en allaitement dans les cinq dernières années, et d’avoir des croyances profondes positives quant à la valeur de l’allaitement comparativement aux préparations commerciales pour nourrissons (PCN). Craindre de susciter la culpabilité nuit à la promotion de l’allaitement. De plus, les infirmières exposées à la culture d’allaitement pendant l’enfance, ayant eu une expérience personnelle d’allaitement positive, qui perçoivent que leur rôle est d’encourager les mères à allaiter, ou qui recommandent rarement de donner des PCN en postnatal en cas de problèmes d’allaitement, sont plus confortables à informer les femmes enceintes des risques du non-allaitement. Conclusion : Plusieurs infirmières semblent manquer de connaissances sur la qualité supérieure de l’allaitement par rapport à l’alimentation artificielle et sur les risques du non-allaitement. De plus, il semble que plusieurs infirmières n’aient pas les habiletés cliniques optimales pour soutenir les mères dans leur allaitement. Des formations appropriées aideraient les infirmières à avoir davantage confiance dans leur capacité à soutenir les mères en postnatal, ainsi qu’à promouvoir l’allaitement en prénatal. Finalement, les infirmières devraient prendre conscience de leurs biais personnels, afin d’en réduire les impacts négatifs sur leur pratique professionnelle.

Intervention préventive visant à soutenir le développement de la sensibilité maternelle afin de favoriser l'acquisition des capacités d'autorégulation chez le nourrisson

Rapport d'analyse d'intervention présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en psychoéducation.

Les stratégies d'intervention de l'Association des Paysans de Vallue (APV) dans le développement local

Ce mémoire porte sur le mouvement de l’Association des Paysans de Vallue (APV), qui a vu le jour après la chute de la dictature des Duvalier en Haïti en 1986. La recherche vise à cerner les stratégies mises en œuvre par l’APV dans le développement local, la portée et les impacts de ses initiatives locales sur les conditions de vie des paysans et sur leur relation avec le territoire de Vallue. Elle vise également à identifier les modes de participation des paysans dans la dynamique de développement local qui est implantée par l’APV à Vallue. Après avoir présenté une brève revue de littérature sur le développement local en Haïti, nous évoquons les problèmes confrontés par les paysans et les stratégies qu’ils ont développées en vue de trouver des moyens de survie. Pour comprendre et étudier l’expérience de l’APV à Vallue, nous nous sommes inspirés des perspectives théoriques portant sur le développement local et sur les stratégies d’intervention. La recherche est de type qualitatif ; elle est articulée autour de dix-sept (17) entretiens réalisés avec les vingt-et-un (21) participants recrutés à Vallue. Les résultats de la recherche indiquent que l’APV a su orchestrer des stratégies variées pour réaliser un développement qui est ancré localement et qui répond aux besoins des paysans. En misant sur l’éducation, la sensibilisation, la négociation, la concertation, le partenariat et en mobilisant des ressources locales et externes, l’APV a su réaliser des interventions qui provoquent tout un changement de mentalité et une conscience collective chez les paysans qui développent de nouvelles manières de faire dans l’éducation de leurs enfants et dans la protection de l’environnement de la zone. La route construite par l’association rend Vallue accessible et ouverte, ce qui facilite le développement et permet l’organisation d’une activité comme la foire de la montagne qui met en valeur les produits locaux et la culture locale. L’APV a su apporter des éléments de solution aux problèmes confrontés par les paysans et ses interventions ont des impacts sur leurs conditions de vie et sur leur relation avec le territoire de Vallue. Ils s’identifient mieux au territoire et développent toute une fierté par rapport à leur espace. En outre, la participation des paysans tant dans les élections, la prise de décision et les projets, constitue un élément important. Toutefois, cette participation comporte certaines limites liées au niveau d’éducation des membres de certains groupes. Enfin, il importe de souligner qu’à travers le dernier chapitre de la recherche nous dégageons les points de convergence et de divergence entre la partie théorique et la partie empirique.

Intervention visant à favoriser l'engagement scolaire cognitif et affectif des garçons du troisième cycle du primaire

Rapport d'analyse d'intervention présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en psychoéducation.

Mieux comprendre les facteurs associés à la satisfaction des parents d'accueil dans leur rôle.

Les familles d’accueil sont une composante essentielle du système de protection de l’enfance. Or, le réseau québécois est confronté à certaines difficultés de recrutement et de rétention. De plus, deux importants chantiers modifieront la pratique entourant l’accueil familial : le déploiement de l’approche S’occuper des Enfants (SOCEN) et la mise en application de la Loi sur la représentation des ressources (LRR), qui engendre une professionnalisation du rôle de famille d’accueil. Il importe donc de s’intéresser à l’expérience des parents d’accueil, afin d’identifier certaines pistes pour mieux faire face à ces défis et transformations. L’objectif de ce mémoire est de mieux comprendre les facteurs qui influencent la satisfaction des parents d’accueil dans leur rôle. Un sous-objectif est de comprendre si l’approche SOCEN a une influence sur cette satisfaction. Pour ce faire, des entrevues individuelles semi-directives ont été effectuées auprès de treize parents d’accueil d’une région du Québec qui implante l’approche SOCEN depuis 2003. Une analyse de contenu thématique concernant leur satisfaction, leur motivation et les défis qu’ils rencontrent a été effectuée. Les résultats montrent que selon les parents d’accueil, la satisfaction dans leur rôle s’incarne dans trois dimensions distinctes: la dimension parentale, la dimension professionnelle et la dimension personnelle. Les facteurs qui influencent leur satisfaction sont : les enjeux de parentalité en contexte de placement à long terme, l’impact du placement sur la famille du parent d’accueil et les enjeux de reconnaissance. Il ressort également que les principes et les outils proposés par l’approche SOCEN pourraient agir sur les facteurs évoqués et ainsi augmenter la satisfaction des parents d’accueil dans leur rôle.

L’injection percutanée de cartilage sur le dorsum nasal chez le lapin

Abstract: Objective: To compare the long-term viability of percutaneously injected crushed auricular cartilage to surgically implanted cartilage in the rabbit. Methods: Auricular cartilage was harvested bilaterally in 10 New Zealand white rabbits. A 1 cm2 cartilage graft was harvested and implanted surgically on the upper nasal dorsum. The remaining cartilage was crushed and percutaneously injected on the lower nasal dorsum. Volume and mass of each graft were compared between pre-implantation and after 3 months of observation. A histological study was conducted to evaluate chondrocyte viability and degree of fibrosis on the grafts. Results: Mass and volume remained similar for surgically implanted cartilage grafts. Mass and volume diminished by an average of 47% and 40% respectively after 3 months for the injected crushed cartilage grafts. Chondrocyte viability was an average of 25% lower in the injected grafts. Conclusion: Cartilage injection is a promising technique that must be refined to increase long term chondrocyte viability. Developing an appropriate injection apparatus would improve this technique.

Intégrez les plans de cours à votre développement de collection grâce à Syllabo

Introduction Syllabo est une base de données maison visant à faciliter le processus de développement de collection, tout en ciblant le mieux possible les besoins des étudiants. L’objectif est d’atteindre la meilleure adéquation possible entre les collections des bibliothèques de l’Université de Montréal, et les ouvrages et sources d’information mentionnés dans les plans de cours. Méthodologie Le développement de Syllabo a débuté en juin 2009 à la Bibliothèque de la santé, dans la perspective de faciliter le processus de révision des syllabus des cours offerts à chaque trimestre par les facultés et les écoles desservies par les bibliothèques. Un procédurier décrit en détail la configuration de cette base élaborée à l’aide du logiciel EndNote. On y explique les étapes de repérage des syllabus et des données bibliographiques, les champs personnalisés disponibles (sigle du cours, statut du document, suivi des démarches, etc.), le vocabulaire contrôlé et les règles d’écriture associés à ces champs, ainsi que les procédures de sauvegarde. Résultats La base Syllabo facilite maintenant le repérage annuel de nouvelles éditions, assure un suivi plus systématique de toutes les démarches requises, tout en simplifiant les communications avec les professeurs. La Bibliothèque de la santé applique dorénavant cette même méthodologie à la gestion de ses sections référence et de réserve de cours. Exposé La base Syllabo a grandement amélioré l’efficacité du processus de révision des syllabus et est maintenant implantée dans cinq bibliothèques de l’Université de Montréal (Santé, Paramédicale, Optométrie, Lettres et sciences humaines et EPC-Biologie).