The elderly : reminiscing, coping with loss, accepting death

This study investigated loss, death and dying, reminiscing, coping and the process of adaptation from the sUbjective perspective. A number of theories and models of death and dying were reviewed in the background literature search with the focus on reminiscing as a coping phenomenon. The format of the study was audio-taped interviews with ten sUbjects and the recording of their memories and reminiscing of life stories. The sUbjects were required to complete an initial questionnaire in a demographic data collection process. Two separate interviews consisted of a primary data collecting interview and a verification interview four to eight weeks later. An independent chart review completed the data collecting process. Data analysis was by the examination of the emerging themes in the subjects' personal narratives which revealed the sUb-categories of reminiscing, loss (including death and dying), acceptance, hope, love, despair and belief. Belief was shown to be the foundation and the base for living and reminiscing. Reminiscing was found to be a coping phenomenon, within the foundation of a belief system. Both living and reminiscing revealed the existence of a central belief or value with a great deal of importance attached to it. Whether the belief was of a spiritual nature, a value of marriage, tradition, a work ethic or belief in an abstract value such as fate,it gave support and control to the individuals' living and reminiscing process. That which caused despair or allowed acceptance indicated the sUbjects' basic belief and was identified in the story narrations. The findings were significant to health care in terms of education, increased dignity for the elderly and better understanding by society. The profiles represented an average age of 86.3 years with age showing no bearing on the life experiences associated with the emerging themes. Overwhelmingly, belief was shown to be the foundation in reminiscing. A Judeo-Christian cultural value base supported the belief in 90% of the sUbjects; however, different beliefs were clearly shown indicating that belief is central to all thinking beings, in everyday life and in reminiscing. Belief was not necessarily spiritual or a practised or verbalized religion. It was shown to be a way of understanding, a fundamental and single thread tying the individual's life and stories together. The benefits were the outcomes, in that knowledge of an individual's belief can optimize care planning for any age group, and/or setting. The strength of the study was the open question format and the feedback process of data verification. The unrestricted outcomes and non-specificity were significant in a world where dying is everybody's business.

Transmission measurements using a new far-infrared set-up

A system comprised of a Martin-Puplett type polarizing interferometer and a Helium-3 cryostat was developed to study the transmission of materials in the very-far-infrared region of the spectrum. This region is of significant interest due to the low-energy excitations which many materials exhibit. The experimental transmission spectrum contains information concerning the optical properties of the material. The set-up of this system is described in detail along with the adaptations and improvements which have been made to the system to ensure the best results. Transmission experiments carried out with this new set-up for two different varieties of materials: superconducting thin films of lead and biological proteins, are discussed. Several thin films of lead deposited on fused silica quartz substrates were studied. From the ratio of the transmission in the superconducting state to that in the normal state the superconducting energy gap was determined to be approximately 25 cm-1 which corresponds to 2~/kBTc rv 5 in agreement with literature data. Furthermore, in agreement with theoretical predictions, the maximum in the transmission ratio was observed to increase as the film thickness was increased. These results provide verification of the system's ability to accurately measure the optical properties of thin low-Tc superconducting films. Transmission measurements were carried out on double deionized water, and a variety of different concentrations by weight of the globular protein, Bovine Serum Albumin, in the sol, gel and crystalline forms. The results of the water study agree well with literature values and thus further illustrate the reproducibility of the system. The results of the protein experiments, although preliminary, indicate that as the concentration increases the samples become more transparent. Some weak structure in the frequency dependent absorption coefficient, which is more prominent in crystalline samples, may be due to low frequency vibrations of the protein molecules.

Occupational therapist and client experiences of a mental health group

The purpose of this qualitative study was to understand the client and occupational therapist experiences of a mental health group. A secondary aim was to explore the extent to which this group seemed to have reflected a client-centred approach. The topic emerged from personal and professional issues related to the therapist as teacher and to inconsistencies in practice with the profession's client-centred philosophy. This philosophy, the study's frame of reference, was established in terms of themes related to the client-therapist relationship and to client values. Typical practice was illustrated through an extensive literature review. Structured didacticexperiential methods aiming toward skill development were predominant. The interpretive sciences and, to a lesser extent, the critical sciences directed the methodology. An ongoing support group at a community mental health clinic was selected as the focus of the study; the occupational therapist leader and three members became the key participants. A series of conversational interviews, the . core method of data collection, was supplemented by observation, document review, further interviews, and fieldnotes. Transcriptions of conversations were returned to participants for verification and for further reflection. Analysis primarily consisted of coding and organizing data according to emerging themes. The participants' experiences of group, presented as narrative stories within a group session vignette, were also returned to participants. There was a common understanding of the group's structure and the importance of having "air time" within the group; however, differences in perceptions of such things as the importance of the group in members' lives were noted. All members valued the therapeutic aspects of group, the role of group as weekly activity and, to a lesser extent, the learning that came from group. The researcher's perspective provided a critique of the group experience from a client-centred perspective. Some areas of consistency with client-centred practice were noted (e.g., therapist attitudes); however the group seemed to function far from a client-centred ideal. Members held little authority in a relationship dominated by the leaders, and leader agendas rather than member values controlled the session. Possible reasons for this discrepancy ranging from past health care encounters through to co-leader discord emerged. The actual and potential significance of this study was discussed according to many areas of implications: to OT practice, especially client-centred group practice, to theory development, to further areas of research and methodology considerations, to people involved in the group and to my personal growth and development.

Towards automated derivation in the theory of allegories

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.

John W. Fisher Fonds, 1937-1961, 1964-1989, 1993, n.d.

Norah and Fred Fisher welcomed John Fisher into the world on November 29, 1912, not knowing what an influential role he would play in shaping Canada's history. John Fisher grew up as the middle child of five brothers and sisters in Frosty Hollow, New Brunswick, close to today’s town of Sackville. Sackville’s main industry was the Enterprise Foundry which the Fisher family owned and operated; however, Fisher had no plans of going into the family business. He was more inspired by his maternal grandfather, Dr. Cecil Wiggins, who lived with the family after retiring from the Anglican ministry. Wiggins encouraged all his grandchildren to be well read and to take part in discussions on current events. There were often visitors in the Fisher household taking part in discussions about politics, religion, and daily life. Fisher forced himself to take part in these conversations to help overcome his shyness in social settings. These conversations did help with his shyness and also in forming many opinions and observations about Canada. It put Fisher on the road to becoming Mr. Canada and delivering the many eloquent speeches for which he was known. Fisher did not venture far from home to complete his first degree. In 1934 he graduated from Mount Allison University in Sackville, NB with an Arts degree. The same year Fisher enrolled in Dalhousie’s law school. During his time at Dalhousie, Fisher discovered radio through Hugh Mills. Mills or “Uncle Mel” was on CHNS, Halifax’s only radio station at the time. Fisher began by making appearences on the radio drama show. By 1941 he had begun writing and broadcasting his own works and joined the staff as an announcer and continuity writer. In 1936 the Canadian Broadcasting Corporation was formed, the first National radio station. Fisher joined the CBC shortly after it’s beginning and remained with them, as well as the Halifax Herald newspaper, even after his law school graduation in 1937. By 1943 Fisher’s talks became a part of the CBC’s programming for a group of maritime radio stations. Fisher once described his talks as follows “my talks weren’t meant to be objective. . . they were meant to be favourable. They were ‘pride builders’” He began his famed John Fisher Reports at CBC Toronto when he transfered there shortly after the war. This program brought emmence pride to the fellow Canadians he spoke about leading to approximately 3500 requests per year to speak at banquets and meeting throughout Canada and the United States. Fisher was a well travelled indivdual who would draw on personal experiences to connect with his audience. His stories were told in simple, straight forward language for anyone to enjoy. He became a smooth, dynamic and passionate speaker who sold Canada to Canadians. He became a renowned journalist, folk historian, writer and broadcaster. Fisher was able to reach a vast array of people through his radio work and build Canadian pride, but he did not stop there. Other ways Fisher has contributed to Canada and the Canadian people include: Honoured by five Canadian Universities. 1956, became the Director of the Canadian Tourist Association. 1961, was appointed Special Assistant to the Prime Minister of Canada. 1963, Commissioner of the Centennial Commission (the Federal Agency Responsible for Canada’s 100th birthday) 1968, received the Service Medal , a coveted Order of Canada. President of John Fisher Enterprises Ltd., private consultant work, specializing in Centennial planning, broadcasts, lectures and promotion. John Fisher continued recording radio broadcasts even after his diagnosis with cancer. He would record 3 or 4 at a time so he was free to travel across Canada, the U.S., Europe and Mexico in search of treatments. Fisher passed away from the disease on February 15, 1981 and he is buried at Mount Pleasant Cemetery in Toronto.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.

Estelle Cuffe Hawley fonds, 1852-1999, n.d.

Estelle Cuffe Hawley (1894-1995) was an educator, businesswoman and politician, who became the first woman alderman on the St. Catharines City Council. She began her career as a teacher in Peterborough in 1913, and later taught in St. Catharines at Connaught School and St. Paul’s Ward School, where she served as Principal for six years. In 1928-29, she worked as an exchange teacher in Edmonton, Alberta. This would be Estelle’s last year in the teaching profession. She moved back to St. Catharines in 1930 and began a career in business, as an employee of Sun Life Assurance Co. She remained in this profession until around 1952. It was during this period that she became very active in the community and local politics. In 1934 she was elected to the St. Catharines Board of Education, where she advocated for the improvement of teachers’ salaries, the introduction of nursing services in schools, and the inclusion of music in the curriculum. She served as a member of the school board until 1937. The following year, she became the first woman elected to the St. Catharines City Council. As an alderman, she worked to improve the community's social welfare services, serving consecutively as chairman of all committees. She established comprehensive health services (including medical, dental and nursing), in the public, separate and secondary schools of St. Catharines, the first program of its kind in Canada. She was also instrumental in establishing minimum housing standards and engaging the public in local government by arranging a series of lectures by city officials. She remained a member of City Council until 1943. The following year she campaigned unsuccessfully for the mayoralty. In 1953 she married Hubert Hawley and moved to Orillia. She continued to remain active in the community, serving as President of the Ontario Recreation Association from 1950-1953, and editor of their Bulletin from 1955-1961. During the 1960s, she worked with various groups, including the Voice of Women, the Mental Health Association and the Freedom from Hunger Campaign. In addition to this work, Estelle wrote poetry and short stories, some of which were published in the Peterborough Review, the Globe and Mail and the Canadian Churchman. Some of her short stories (often about her childhood experiences) were broadcast on the CBC, as well as her experiences as a Town Councillor (under the pseudonym Rebecca Johnson in 1961). She also broadcast a segment that was part of a series called “Winning the Peace” in April 1944. Estelle was a sought-after public speaker, speaking on topics such as peace, democracy, citizenship, education, and women’s rights. In 1976, Brock University conferred an honorary Doctor of Law degree to Estelle for her leadership as an educator, businesswoman and a stateswoman. Her husband Hubert died that same year, and Estelle subsequently moved to Mississauga. With the assistance of an Ontario Heritage Foundation grant, she began work on her memoir. She later moved back to Orillia and died there in 1995, at the age of 101.

Web, texte, conversation et redocumentarisation

Conférencier invité - Keynote Speaker

Étude des interactions protéiques impliquant NPM-MLF1 dans la leucémie myéloïde aiguë.

Différentes translocations génomiques sont fréquemment associées à l'apparition de leucémies myéloïdes aiguës (LMA). Ces translocations génomiques résultent de l’assemblage de deux gènes conduisant à la production d'une protéine de fusion. C'est le cas de la translocation t (3; 5) (q25.1; q34) impliquant le suppresseur tumoral NPM et l'oncogène MLF1 donnant naissance à la protéine de fusion NPM-MLF1. Généralement, les gènes impliqués dans ces translocations contrôlent la croissance cellulaire, la différenciation ou la survie cellulaire. Cependant, pour NPM-MLF1 les causes du gain ou de la perte de fonction associée à la translocation demeurent inconnues car nous ne savons pas comment cette translocation peut favoriser ou participer à l'avènement de la LMA. Le but de ce travail est d’analyser le rôle de NPM-MLF1 dans le cancer et d’examiner comment son activité contribue à la leucémie en faisant des études d’interactions protéine/protéine. En effet, l’étude de la fonction d’une protéine implique souvent de connaître ses partenaires d’interactions. Pour ce faire, la technique de double hybride dans la souche de levure AH109 a été utilisée. Tout d’abord, les ADN complémentaires (ADNc) de MLF1, NPM1 et de NPM-MLF1, MLF1-Like (une partie de MLF1 de l’acide aminé 94 à 157) normaux et mutés du domaine MTG8-Like constitué des acides aminés (a.a.) 151 à 164 de MLF1 (excepté NPM) ont été clonés dans un vecteur d'expression de levure pGBKT7. Les ADNc de GFI-1, mSin3A, PLZF, HDAC1 et HDAC3 ont été clonés dans le plasmide pGADT7 de façon à créer des protéines de fusion synthétiques avec le domaine de liaison à l'ADN et de trans-activation de la protéine GAL4. Le plasmide pGBKT7 possède un gène TRP1 et pGADT7 un gène LEU2 qui permettent la sélection des clones insérés dans la levure. Aussi, le pGBKT7 a un épitope c-myc et pGADT7 un épitope HA qui permet de voir l’expression des protéines par buvardage de type Western. Après la transformation des levures les interactions protéine/protéine ont été observées en vérifiant l’expression des gènes rapporteurs HIS3, LacZ, MEL1, ADE2 de la levure en utilisant des milieux de sélection YPD/-Leu/-Trp, YPD/-Leu/-Trp/-His, YPD/-Leu/-Trp/-His/-Ade, YPD/-Leu/-Trp/+ X-Gal, YPD/-Leu/-Trp/ + X-α-Gal. Ensuite, les interactions trouvées par double-hybride ont été vérifiées dans les cellules érythroleucémiques K562 par immuno-précipitation (IP) de protéines suivies de buvardages Westerns avec les anticorps appropriés. NPM-MLF1, MLF1, MTG8, MLF1-Like surexprimés dans les cellules K562 ont été clonés dans le plasmide pOZ-FH-N. pOZ-FH-N possède un récepteur IL-2 qui permet de sélectionner les cellules qui l’expriment ainsi qu’un tag Flag-HA qui permet de voir l’expression des protéines par buvardage-Western. Les résultats du double-hybride suggèrent une interaction faible de NPM-MLF1 avec HDAC1, HDAC3 et mSin3A ainsi qu’une interaction qui semble plus évidente entre NPM-MLF1 et PLZF, GFI-1. NPM interagit avec GFI-1 et mSin3A. Aussi, MLF1 et MLF1-Like interagissent avec HDAC1, HDAC3, GFI-1, PLZF mais pas avec mSin3A. Les IP suggèrent que NPM-MLF1 interagit avec HDAC1, HDAC3, mSin3A et PLZF. MLF1 et MLF1-Like interagissent avec HDAC1, HDAC3 et mSin3A. L’interaction de NPM-MLF1 avec GFI-1, MLF1 et MLF1-Like avec PLZF et GFI-1 n’a pas encore été vérifiée par IP. Ainsi, nos observations permettent de suggérer que NPM-MF1, MLF1 et NPM pourraient jouer un rôle dans la transcription et la régulation de l’expression de certains gènes importants dans l’hématopoïèse et une variété de processus cellulaires parce qu’ils interagissent avec différents corépresseurs. En déterminant les partenaires protéiques de MLF1, NPM et NPM-MLF1, leurs fonctions et comment NPM-MLF1 influence et modifie le fonctionnement cellulaire normal; il sera possible de renverser le processus de LMA favorisé par la t (3; 5) NPM-MLF1 par la technologie d’interférence à l’ARN.

L’influence du développement durable à travers la formation universitaire en design industriel

Aujourd’hui, nous savons qu’environ 75 à 80% des impacts environnementaux des produits sont déterminés lors de la conception. Le rôle du designer industriel est donc crucial pour arriver à une forme de développement plus viable. Cette recherche tente de cibler les champs de connaissances qui devraient faire partie de la formation des professionnels du développement de produits pour y intégrer les aspects environnementaux. Après une recension de la littérature en design industriel, en pédagogie et en environnement, l’étude de terrain a été conduite en deux temps. Selon des critères prédéfinis, des programmes universitaires « spécialisés » en environnement/développement durable, au Québec, ainsi que des formations en éco-conception, offerts en France, ont été analysés. L’étude de terrain a été complétée par un entretien en profondeur semi-dirigé avec un consultant, qui aide des entreprises québécoises à intégrer l’environnement en développement de produits. L’analyse des informations recueillies met en évidence la nécessité de transformer rapidement les formations universitaires en conception de produits. Le nouveau cursus de design industriel devrait; 1. Intégrer les connaissances relatives aux impacts environnementaux; 2. Encourager le travail en équipes multidisciplinaires pour enrichir la collecte d’informations relative aux projets de développement; 3. Établir une collaboration étroite entre les établissements d’enseignement et les industries, ce qui est essentiel à la compréhension des enjeux de développement de produits et services (culture de l’entreprise, coût, délais, logistique, réglementation, etc.).

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.

Problèmes de perception de la parole dans le bruit chez les enfants présentant un trouble de traitement auditif

Il est bien connu que les enfants qui présentent un trouble de traitement auditif (TTA) ont de la difficulté à percevoir la parole en présence de bruit de fond. Cependant, il n’existe aucun consensus quant à l’origine de ces difficultés d’écoute. Ce programme de recherche est consacré à l’étude des incapacités sous-jacentes aux problèmes de perception de la parole dans le bruit chez les enfants présentant un TTA. Le Test de Phrases dans le Bruit (TPB) a été développé afin d’examiner si les difficultés de perception de la parole dans le bruit d’enfants ayant un TTA relèvent d’incapacités auditives, d’incapacités cognitivo-linguistiques ou des deux à la fois. Il comprend cinq listes de 40 phrases, composées de 20 phrases hautement prévisibles (HP) et de 20 phrases faiblement prévisibles (FP), de même qu’un bruit de verbiage. Le niveau de connaissance du mot clé (mot final) de chaque phrase a été vérifié auprès d’un groupe d’enfants âgés entre 5 et 7 ans. De plus, le degré d’intelligibilité des phrases dans le bruit et le niveau de prévisibilité ont été mesurées auprès d’adultes pour assurer l’équivalence entre les listes. Enfin, le TPB a été testé auprès d’un groupe de 15 adultes et d’un groupe de 69 enfants sans trouble auditif avant de l’administrer à des enfants ayant un TTA. Pour répondre à l’objectif général du programme de recherche, dix enfants présentant un TTA (groupe TTA) et dix enfants jumelés selon le genre et l’âge sans difficulté auditive (groupe témoin) ont été soumis aux listes de phrases du TPB selon différentes conditions sonores. Le groupe TTA a obtenu des performances significativement plus faibles comparativement au groupe témoin à la tâche de reconnaissance du mot final des phrases présentées en même temps qu’un bruit de verbiage compétitif, aux rapports signal-sur-bruit de 0, +3 et +4 dB. La moyenne de la différence des scores obtenue entre les phrases HP et FP à chaque condition expérimentale de bruit était similaire entre les deux groupes. Ces résultats suggèrent que les enfants ayant un TTA ne se distinguent pas des enfants du groupe témoin au plan de la compétence cognitivo-linguistique. L’origine des difficultés d’écoute de la parole dans le bruit dans le cas de TTA serait de nature auditive. Toutefois, les résultats des analyses de groupe diffèrent de ceux des analyses individuelles. Les divers profils de difficultés d’écoute identifiés auprès de cette cohorte appuient l’importance de continuer les investigations afin de mieux comprendre l’origine des problèmes de perception de la parole dans le bruit dans le cas de TTA. En connaissant mieux la nature de ces difficultés, il sera possible d’identifier les stratégies d’intervention de réadaptation spécifiques et efficaces.

L'expérience comme mode de détermination des faits dans le procès civil

L'utilisation de l'expérience comme un mode de détermination des faits, c'est-à-dire comme un élément qui comble les lacunes dans l'ensemble des éléments de preuve dans le procès civil, est un thème quelque peu tabou. La doctrine est souvent basée sur la prémisse voulant que le décideur rende une décision uniquement en vertu des éléments de preuve et qu'il doit absolument s'abstenir d'insérer aux constatations quoi que ce soit qui n'est pas présent dans les éléments de preuve. Cette vision est éloignée de la réalité juridique. Dans la première partie, nous allons aborder les principes procéduraux qui empêchent l'utilisation de l'expérience comme mode de détermination des faits. Ce sont le principe de la reconstruction de l'événement du passé, le principe de l'abstraction des connaissances acquises hors du procès et le principe de l'exclusion de la preuve par ouï-dire. Ensuite, nous portons notre attention sur les différents types d'expérience, c'est-à-dire l'expérience profane, divisible en bon sens et sens commun, et l'expérience scientifique, ainsi sur leurs modes de fonctionnement dans le procès civil. La première partie se termine par une brève confrontation des différents types d'expérience avec les principes procéduraux. La deuxième partie est consacré à l'analyse de l'expérience dans trois instruments juridiques: la connaissance d'office, la présomption de fait et le témoignage d'expert. Nous nous intéressons principalement à vérifier si l'expérience fonctionne à l'intérieur de ces instruments juridiques comme mode de détermination des faits et ensuite quelles sont les limites que le droit pose à l'expérience dans ce rôle. L'analyse va confirmer que le principal instrument par lequel l'expérience comme mode de détermination des faits pénètre dans le procès civil est la présomption de fait.