Le développement d'un traitement curatif du virus de l’immunodéficience humaine (VIH) est devenu le défi majeur pour le futur mais les réservoirs et une réponse immunitaire insuffisamment efficace constituent des barrières pour l’élimination du virus. La réponse immune contre l’infection VIH dépend en partie de la capacité des cellules hôtes à présenter correctement les épitopes viraux pour induire une réponse spécifique des lymphocytes T CD8+ cytotoxiques (CTL). Cette présentation des épitopes viraux qui pourrait être optimisée par vaccination, dépend du système HLA (Human Leukocyte Antigen) du patient présentant un déterminisme génétique individuel. Correctement pré-stimulés, les CD8 cibleraient et détruiraient efficacement les cellules productrices du virus. Les précédents essais vaccinaux stimulant la réponse CTL n’ont pas montré d’efficacité dans la réponse virologique, probablement parce qu’ils sont composés d’épitopes "génériques" et qu’ils ne prennent pas en compte la variabilité du VIH ni l’immunogénétique des patients.L’objectif de ce travail est d’identifier des épitopes archivés dans l’ADN proviral, susceptibles d’induire une réponse CTL en considérant la variabilité du VIH-1 et la variabilité immunogénétique des patients infectés par le VIH-1 en succès thérapeutique. L’idée, à terme, est d’utiliser les peptides correspondants comme base de vaccin thérapeutique et de permettre au système immunitaire de prendre le relai du traitement antirétroviral pour contrôler l’infection virale.Cent quarante patients infectés par le VIH-1, suivis au CHU de Bordeaux en succès thérapeutique depuis plus de 6 mois ont été inclus dans le projet Provir/Latitude 45 entre 2012 et 2017. Une cartographie de la répartition des sous-types viraux du VIH-1 en Aquitaine a d’abord été réalisée. L’analyse de plus de 3200 génotypes de résistance VIH-1 effectués entre 2012 et 2016 a permis de déterminer que le sous-type viral majoritaire infectant les patients vivants avec le VIH dans la région est le sous-type B, suivi du CRF02_AG qui est majoritaire parmi les sous-types viraux non B. Si l’on se focalise sur les patients inclus dans ce projet on retrouve des répartitions similaires. Suite à cette première analyse, un nouveau virus recombinant composé de CRF06_cpx et de sous-type B a pu être identifié. Il est référencé en tant que CRF98_cpx. Un des patients inclus au sein du projet est d’ailleurs infecté par ce virus. Afin d’identifier des épitopes candidats pouvant servir de base à un vaccin thérapeutique pour l’ensemble de la population ou pour un groupe de la population en fonction de leurs caractéristiques immunogénétiques, nous avons combiné les données des séquences virales avec le typage HLA des patients afin de prédire in silico l’affinité entre un HLA et un peptide via les algorithmes d’IEDB. Pour automatiser l’analyse des données, un logiciel, TutuGenetics, a été développé. Ce logiciel instrumentalise les algorithmes d’IEDB et permet d’étudier la variabilité de la présentation des épitopes par les différents HLA du patient grâce à un score MHC IC50 déterminé pour chaque couple HLA-séquence virale. Ce logiciel a été validé en comparant l’analyse des données issues du séquençage Next Generation Sequencing avec le séquençage Sanger. Finalement, pour les 140 patients inclus dans le projet Provir, TutuGenetics a effectué un découpage des séquences virales par pas de 8 à 10 acides aminés et les valeurs MHC IC50 ont été définies pour toutes les combinaisons HLA-épitope. Une analyse plus fine nous a ensuite permis de déterminer une liste de 15 épitopes avec une forte affinité in silico pour les HLA majoritaires finalement retenue pour une cocktail vaccinal.Ces données in silico vont dans une prochaine phase être confirmées in vitro via des tests d’immunologie fonctionnelle, puis in vivo chez le macaque. / HIV (Human Immunodeficiency Virus) cure is the major challenge of the future but latent reservoir and inefficient immune response do not allow virus elimination. The immune response against HIV infection depends on host cells ability to correctly present viral epitopes to induce specific cytotoxic CD8+ T lymphocytes (CTL) response. This presentation of viral epitopes which could be improved by vaccination depends on the HLA (Human Leukocyte Antigen) system of the patient which is extremely variable. Accurately pre-stimulated, CTL would target and destroy efficiently virus-producing cells. Previous vaccine trials stimulating CTL response haven’t shown efficient virological response, presumably because epitopes used are generic without taking into account HIV-1 or patient’ immunogenetic variability.The aim of this work is to identify epitopes archived in the proviral DNA, considered to induce CTL response according to the HIV-1 and immunogenetic variability of the patients at therapeutic success. The goal is to use these peptides for a therapeutic vaccine and educate the immune system to control the viral replication without any antiretroviral treatment.One hundred and forty patients infected with HIV-1, followed at the University Hospital of Bordeaux, at therapeutic success for more than 6 months have been included in the Provir/Latitude 45 project between 2012 and 2017. A mapping of the distribution of viral subtypes of HIV-1 in Aquitaine was first performed. Analysis of more than 3200 HIV-1 genotypes conducted from 2012 to 2016 determined that the major viral subtype infecting patients living with HIV in the region is subtype B, followed by CRF02_AG which is predominant among the non-B viral subtypes. Focusing on the patients included in this project led us to find similar distributions. Following this initial analysis, a new recombinant virus composed of CRF06_cpx and subtype B could be identified. It is now referenced as CRF98_cpx. One of the patients included in the project is infected with this virus. In order to identify candidate epitopes that can serve as a therapeutic vaccine for the entire population or for a population group based on their immunogenetic characteristics, we combined the viral sequence data with the HLA typing of patients to predict the affinity in silico between an HLA and a peptide via IEDB algorithms. To automate data analysis, a software package, TutuGenetics, has been developed. This software exploits IEDB algorithms and makes it possible to study the variability of the presentation of epitopes by the different HLAs of the patient thanks to an MHC IC50 score determined for each HLA-viral sequence pair. This software has been validated by comparing the analysis of data from Next Generation Sequencing (NGS) with Sanger sequencing. Finally, for 140 patients included in the Provir project, TutuGenetics sliced the viral sequences in steps of 8 to 10 amino acids and MHC IC50 values were defined for all HLA-epitope combinations. A finer analysis allowed us to determine a list of 15 epitopes with high in silico affinity for major HLAs. These epitopes were selected by applying different filters and only HLA-peptide couples with more than 10 patients sequenced per position and by HLA were kept in this "Optimal_Provir" list.These in silico data will in a next phase be confirmed in vitro via functional immunology tests, then in vivo in macaques.

L’objectif du project FerroCOTS est de faire évoluer l’architecture de contrôle-commande ferroviaire embarqué des relais électriques vers des Composant-sur-Etagère (COTS) programmables, ici des cartes FPGA (Field-Programmable Gate Array en anglais). Toutefois, l'absence d’une méthode appropriée de spécification et vérification formelles est un obstacle important au développement d’une architecture de contrôle-commande à base de COTS. Dans cette thèse, nous proposons tout d'abord des techniques systématiques de raffinement des exigences brutes et qui permettent de transformer des exigences informelles en des spécifications formelles, tout en guidant et assistant le processus de raffinement et l'étape de formalisation. En l'occurrence, deux méthodes de raffinement des exigences ont été développées. Le cadre de formalisation choisi pour cette méthode de formalisation des exigences est la logique temporelle CTL*, qui est un sur-ensemble des logiques CTL (Computation Tree Logic en anglais) et LTL (Linear Time Logic en anglais). Ainsi, les exigences raffinées peuvent être formalisées à l'aide de CTL*. En outre, ces formules en CTL* offrent une base formelle pour la vérification et la validation du système. Puis, à partir des spécifications formelles exprimées sous forme de propriétés CTL*, nous présentons une méthode pour générer des scénarios de test à partir des formules CTL*. La méthode de test utilise le concept de « non-vacuité » pour générer des scénarios de test « Intelligents », qui soient capables de conduire la simulation à une réfutation d’une propriété pour que les bugs dans un système sous test peuvent être détectés. / The goal of the FerroCOTS project is to develop an architecture of embedded railway command/control systems from electrical relays towards programmable Commercial-Off-The-Shelf (COTS) components, here some high-speed Field-Programmable Gate Array (FPGA) digital devices. However, the lack of appropriate formal specification and verification means is a huge obstacle to develop a COTS based control/command architecture. In this thesis, firstly we propose systematic requirement refinement techniques to transform informal requirements into formal specifications, while guiding and assisting the refinement process and the formalization step. In this case, two requirement refinement methods have been developed. The formalization framework chosen for requirement formalization is the temporal logic CTL*, which is a superset of the logic Computation Tree Logic (CTL) and the Linear Time Logic (LTL). Thus, the refined requirements are formalized using CTL*. In addition, the obtained CTL* formulas provide a formal basis for system verification and validation. On the other hand, based on formal specifications expressed as CTL* properties, we present a method for generating test cases from CTL* formulas. The test method uses the concept of non-vacuity to generate “Intelligent” test benches that are capable of driving the simulation to a property refutation so that the bug of the system under test can be detected.

The purpose of this thesis for the degree of Master of Science was to use molecular and immunological techniques to study cellular responses to dengue virus infection. In the initial study, Differential Display was used to compare mRNA expression in dengue-infected K562 cells and mock-infected cells. Cloning and sequencing were then used to identify cellular genes that were potentially up-regulated in response to Dengue virus infection. These genes included bleomycin hydrolase and a dystrophin homologue. The goal of the later part of this research was to construct a recombinant vaccinia virus expressing the dengue 1 Hawaii NS3 protein. Cytotoxic T-lymphocyte assays and protein gel electrophoresis showed that the NS3 protein was being expressed. This construct was then used to study the cytotoxic T-cell response of a dengue 1 vaccine recipient. The results of this study showed that this individual has dengue 1 NS3 specific T-cells and also that this vaccinia virus can be used for subsequent T-cell studies.

Selection of HIV-1 variants resistant to antiretroviral therapy is well documented. However, the selection in vivo of HIV-1 mutant species that can escape host immune system HLA class I restricted cytotoxic T-lymphocyte responses has, to date, only been documented in a few individuals and its clinical importance is not well understood. This thesis analyses the observed diversity of the HIV-1 reverse transcriptase protein in a well characterised, stable, HLA-diverse cohort of HIV-1 infected patients with over two thousand patient-years of observation. The results show that HIV-1 polymorphism is selected within functional constraints and is associated with specific HLA class I alleles. Furthermore, these associations significantly cluster along the sequence and tend to occur within known corresponding HLA-restricted epitopes. Absence of polymorphism is also HLA-specific and more often seen with common HLA alleles. Knowledge of HLA specific viral polymorphisms can be used to model an individual’s viral load from their HLA type and viral sequence. These results suggest that cytotoxic T-lymphocyte escape mutation in HIV-1 is critical to the host at an individual and population level as well as to short and long term viral evolution. This work provides new insights into viral-host interactions and has clinical implications for individualisation of HIV-1 therapy and vaccine design.

京都大学 / 0048 / 新制・課程博士 / 博士(医学) / 甲第17813号 / 医博第3811号 / 新制||医||999(附属図書館) / 30628 / 京都大学大学院医学研究科医学専攻 / (主査)教授 髙折 晃史, 教授 武藤 学, 教授 杉田 昌彦 / 学位規則第4条第1項該当 / Doctor of Medical Science / Kyoto University / DGAM

No description available.

Les lymphocytes T cytotoxiques (CTLs) dirigés contre le VIH jouent un rôle essentiel dans la défense anti-virale. L’identification des facteurs impliqués dans la variabilité de ces réponses est indispensable à la mise au point de vaccins efficaces.Nous avons focalisé notre travail sur deux facteurs potentiellement impliqués dans la reconnaissance du virus par le HLA : le sous-type viral et la qualité de l’apprêtement antigénique. L’extrême variabilité du virus avec à ce jour 11 sous-types et 48 formes recombinantes (CRFs) circulant au sein de populations au typage HLA hétérogène implique un polymorphisme important avec des mutations d’échappement multiples.Nos résultats montrent que dans la population Vietnamienne infectée par le VIH, le CRF01_AE prédomine largement et que l’affinité pour la molécule HLA des épitopes CTL classiquement décrits dans les sous-types B est drastiquement diminuée, ce qui favorise l’échappement de ce sous-type viral au système immunitaire.Par ailleurs, nous avons montré que l’apprêtement des épitopes CTL dépend du type de cellule impliquée, les monocytes se caractérisant par une capacité de présentation significativement plus forte à l’origine d’une réponse CTL plus efficiente comparativement aux lymphocytes T CD4 . Des tests de dégradation in vitro ont démontré que la stabilité intracellulaire des épitopes est hautement variable, dépendante de la séquence en acides aminés et contribue à l’optimisation de la réponse CTL.L’ensemble de ces résultats indiquent que, au delà de l’affinité pour le HLA ou le TCR et des facteurs d’épuisement cellulaire, la réponse CTL peut aussi être modulée par le sous-type viral et l’apprêtement antigénique. / HIV-specific cytotoxic T lymphocytes (CTLs) play a critical role for clearance of virus-infected cells and induction of these cells is a necessary component of any successful vaccine strategy against AIDS. Therefore, identification of the factors defining and modulating the efficiency of these protective responses are urgently needed. We focused our study on two factors potentially involved in HLA recognition: HIV-1 sub-type and antigen processing.The extreme variability of the virus with to date 11 HIV-1 subtypes and 48 circulant recombinant forms (CRFs) circulating worlwide among heterogeneous populations imply high polymorphism and different mutational escape patterns.We demonstrate that among the HIV-1 infected Vietnamese population where the CRF01_AE is largely predominant, the HLA binding of known CTL epitopes is strongly reduced compared to the subtype B due to intraepitopic mutations, facilitating immune evasion of these viral strains.Moreover, we show that the presentation of adequate amounts of epitopes leading to CTL recognition depends on the subset cells involved in the antigen processing, monocytes having a significantly higher and more efficient proteolytic activity. Using in vitro degradation assays, we measured the intracellular HIV-1 epitope stability and demonstrated that this factor is highly variable, sequence dependent and also contributes to a more efficient presentation.Together, these data indicate that, besides HLA and TCR binding and exhaustion factors, HIV-1 CTL recognition can also be modulated by the viral sub-type and the antigen processing machinery.

Golog is a high-level action programming language for controlling autonomous agents such as mobile robots. It is defined on top of a logic-based action theory expressed in the Situation Calculus. Before a program is deployed onto an actual robot and executed in the physical world, it is desirable, if not crucial, to verify that it meets certain requirements (typically expressed through temporal formulas) and thus indeed exhibits the desired behaviour. However, due to the high (first-order) expressiveness of the language, the corresponding verification problem is in general undecidable. In this paper, we extend earlier results to identify a large, non-trivial fragment of the formalism where verification is decidable. In particular, we consider properties expressed in a first-order variant of the branching-time temporal logic CTL*. Decidability is obtained by (1) resorting to the decidable first-order fragment C² as underlying base logic, (2) using a fragment of Golog with ground actions only, and (3) requiring the action theory to only admit local effects. / In this extended version we extend the decidability result for the verification problem to the temporal logic CTL* over C2-axioms.

Das Humane Immundefizienzvirus (HIV) ist der Erreger von AIDS und als Zoonose von den Schimpansen (HIV-1) bzw. den Rauchmangaben (HIV-2) auf die menschliche Population übergesprungen. Diese Primatenspezies sind die natürlichen Wirte für die simianen verwand-ten Viren SIVcpz bzw. SIVsm. Die nicht-natürlichen Virus-Wirt-Beziehungen der Immundefizienzviren resultieren in einem pathogenen Verlauf, wie HIV im Menschen und SIVmac in Rhesusmakaken. Die natürlichen Wirte Rauchmangaben, Schimpansen, Afrikanische Grüne Meerkatzen (AGM) und viele mehr entwickeln hingegen kein simianes AIDS. Dies erfolgt trotz lebenslanger Infektion mit SIV und einer zur HIV-Infektion im Menschen äquivalenten Viruslast. Die natürlichen Wirte weisen darüber hinaus keine Immunantwort gegen das virale Kernprotein Gag (gruppen-spezifisches Antigen) auf, was ein früh und zahlreich gebildetes Protein während der Virusreplikation ist. Die fehlende humorale Immunantwort könnte die natürlichen Wirte vor Aktivierung des Immunsystems und dadurch auch vor sAIDS bewahren. Frühere Versuche in AGM mit injiziertem SIVagmGag-Protein zeigten zwar, dass die Induktion einer humoralen Immunantwort gegen SIVagmGag möglich ist, diese aber schon nach kurzer Zeit wieder absinkt. Des Weiteren bildete sich durch Infektion mit SIVagm in den Tieren keine anamnestische Immunantwort heraus, die für die Erkennung von gleichen Epitopen maßgeblich ist. Es scheint ein Unterschied in der Erkennung von exogenem injiziertem SIVagmGag-Protein zu endogenem, durch das Virus selbst gebildetem, Protein in den AGM zu bestehen. Folglich wurde die Hypothese aufgestellt, dass eine Immunisierung mit SIVagmGag-DNA unter Umgehung des Unterschieds in der Proteinprozessierung eine anamnestische Immunantwort in den AGM induziert. Um diese Hypothese zu testen und die Gag-Immunreaktion in Abwesenheit anderer viraler Gene bezüglich der Pathogenität zu evaluieren, wurden codonoptimierte SIVagmGag- und SIVmacGag-DNA Immunisierungsvektoren generiert. Die Proteinexpression wurde in vitro und die Immunogenität in Balb/c und C57Bl/6 Mäusen getestet. Jeweils eine Gruppe von vier AGM erhielt bioballistisch SIVagmGag-DNA bzw. SIVmacGag-DNA. Als Kontrollen dienten mit codonoptimierter DNA immunisierte Rhesusmakaken sowie mit Leervektor immunisierte Primaten beider Spezies. Als Kostimulanz wurde zusätzlich jeweils speziesspezifische gmcsf DNA verwendet. Im Gegensatz zu den Rhesusmakaken konnte in den AGM durch DNA-Immunisierung keine zelluläre und nur eine schwache, transiente humorale anamnestische Immunantwort nach Infektion induziert werden, obwohl beide Gag-Proteine endogen produziert wurden. Daher kann die fehlende anamnestische Immunantwort der AGM nach Immunisierung mit Gag-Protein vermutlich nicht auf Unterschiede in der Proteinprozessierung und -erkennung (endogen versus exogen) zurückgeführt werden. Die Ergebnisse dieser Studie deuten an, dass während der Infektion dieses natürlichen Wirtes eine aktive Unterdrückung der anti-Gag-Antikörperantwort stattfindet, möglicherweise induziert durch eine Anergie in Gag-spezifischen T-Helferzellen. / The causative agents of AIDS, the human immunodeficiency viruses (HIV-1 and HIV-2), were transmitted zoonotically to the human population from the natural hosts of the related simian immunodeficiency viruses SIVcpz (chimpanzees) and SIVsm (sooty mangabeys), respectively. In contrast to the outcome of infections in non-natural hosts (e.g. HIV in humans, SIVmac in rhesus macaques), the natural hosts of SIV do not develop simian AIDS-like symptoms despite life-long infection with virus loads matching those seen in HIV-infected humans. Many such natural host primates infected with SIV, such as SIVagm-infected African green monkeys (AGMs), fail to mount an antibody response to the intact viral core protein Gag (group-specific antigen), a protein produced extensively during infection. It has been postulated that this lack of an immune response to Gag could protect the natural hosts from immunopathological effects and therefore from simian AIDS. Previous studies in AGMs indicated that Gag protein produced endogenously during infection is ''seen'' by the immune system differently than that introduced exogenously by protein immunisation, possibly through differences in processing or through specific tolerance at the T-cell level. To address these possibilities, primate studies were performed in which the responses in the natural and non-natural hosts to endogenously produced Gag protein in the absence of other viral genes were compared and the influence of such endogenous priming on the immune response to infection was evaluated. This was achieved by bioballistic immunisation of AGMs and rhesus macaques with codon-optimised DNA coding for SIVagm or SIVmac Gag protein delivered together with DNA coding for the species-specific GM-CSF cytokine. Prior to the primate studies, the DNA constructs were evaluated in BALB/c and C57Bl/6 mice for immunogenicity and protein expression. In contrast to the rhesus macaques, SIVagmGag DNA immunisation of African green mon-keys generally failed to prime for an anamnestic cellular immune response and primed for only a weak, transient anamnestic humoral response to the protein upon infection, despite the proteins resulting from both immunisation and infection being produced endogenously. Differences in protein processing and recognition (endogenous versus exogenous) do not therefore appear to account for the lack of priming for an anamnestic immune response seen using a protein immunogen. Rather, the results seem to indicate that an active suppression of the anti-Gag immune response may occur during infection of this natural host of SIV, possibly by the induction of anergy in Gag-specific Th cells.

L’histoire naturelle du cancer implique des interactions entre la tumeur et les mécanismes de défense de l’hôte, tout particulièrement avec le système immunitaire adaptatif. Ainsi la transformation de cellules normales en cellules malignes peut engendrer l’expression d’antigènes tumoraux reconnus par les lymphocytes T. Plusieurs sous-populations de lymphocytes T (LT) CD4 contrôlent les réponses antitumorales, parmi elles, les LT CD4 helper de type-1 (Th1) jouent un rôle activateur majeur de l’immunité à médiation cellulaire antitumorale. Ils deviennent actifs grâce à la reconnaissance des peptides de 15 à 20 acides aminés dérivés d’antigènes tumoraux et présentés par les molécules HLA de classe II. Ils sont nécessaires à l’induction et la fonction des cellules effectrices dirigées contre les tumeurs notamment les lymphocytes T CD8 cytotoxiques (CTL). De plus la présence de lymphocytes CD4 Th1 infiltrant les tumeurs est souvent associée à un bon pronostic chez les patients. A l’aide d’un modèle in vitro chez l’homme et in vivo chez des souris transgéniques HLA, nous avons identifié quatre nouveaux peptides CD4 dérivés de la télomérase (TERT) un antigène de tumeur exprimé dans la majorité des cancers humains. Ces peptides appelés «Universal Cancer Peptide, UCP» se lient à la majorité des allèles HLA-DR et sont capables d’activer spécifiquement les LT CD4 de type-1. Des LT CD4 circulants spécifiques des UCP sont naturellement détectables dans plusieurs cancers humains mais absents chez des individus sains. Des clones T CD4 spécifiques des UCP générés à partir des lymphocytes de patients, produisent de forts taux d’IFN, TNF, et d’IL-2, cytokines associées à la polarisation Th1. L’analyse par ELISPOT IFN, de LT CD4 anti-UCP circulants au sein d’une cohorte de 84 patients atteints de cancers bronchiques métastatiques a montré la présence naturelle de ces lymphocytes chez 38 % des patients. De plus un effet bénéfique de la présence de cette réponse sur la survie globale a été observé chez les patients ayant une réponse clinique objective après chimiothérapie (13 vs 10 mois, P< 003). In vivo, l’immunisation de souris transgéniques HLA-A2/HLA-DR1 (Tg A2/DR1) avec les peptides UCP stimule des réponses T CD4 spécifiques caractérisées par une polarisation Th1. Nous avons montré que la présence in vivo de LT CD4 anti-UCP est nécessaire pour l’induction de réponses CTL antitumorales efficaces. Ainsi chez des souris co-immunisées en présence d’un peptide UCP, on observe un accroissement en nombre et de la qualité des réponses CTL proportionnellement à l’aide délivrée par les LT CD4 anti-UCP. L’induction de LT CD4 anti-UCP s’accompagne également d’une activation des cellules dendritiques in vivo via un mécanisme impliquant CD40L, IFN et GM-CSF. Dans un modèle de mélanome transplantable chez les souris Tg A2/DR1 nos résultats ont montré qu’une vaccination thérapeutique comportant un peptide UCP favorise un meilleur recrutement de CTL fonctionnels dans les tumeurs et améliore ainsi l’efficacité antitumorale du vaccin. Ces résultats confirment le rôle antitumoral majeur des lymphocytes CD4 Th1 et soulignent l’intérêt clinique de stimuler des réponses T CD4 spécifiques d’antigènes tumoraux de relevance clinique comme TERT. / Recent advances in immunology have now validated the concept of cancer immunosurveillance and the leading role of adaptative T cell immunity. Until a few years ago, antitumor CD8 T cell responses have been the most studied due to their direct cytotoxic activity on tumor cells. On the other hand, study of antitumor CD4 T cell responses are even more challenging because of the heterogeneity and plasticity of the various CD4 T cells subpopulations described. Among them, CD4 T helper type-1 cells (Th1), mainly characterized by the production of IFN, control the activation of antitumor cellular immunity. Thus, stimulation of specific CD4 Th1 cells may have a major interest for the development of anticancer immunotherapies. During this research thesis, we characterized novel HLA class II epitopes derived from a relevant tumor antigen, telomerase (TERT), and studied their capacities to stimulate specific CD4 Th1 cell responses. Using a method based on predictive immunology, we identified 4 peptides derived from TERT, referred as « Universal Cancer Peptides » (UCPs), enable to bind the most commonly found HLA-DR alleles in human. Using HLA-A2/HLA-DR1 transgenic mouse model, we first evaluated the in vivo immunogenicity of these peptides. Immunization of mice with UCPs induces high avidity specific CD4 T cells. The study of their polarization showed that UCP-specific CD4 T cells do not produce IL-4, -5, -10 or -17 cytokines, excluding a Th1, Treg or Th17 differentiation. In contrast, we measured high amount of IFN and IL-2 which characterize a Th1 pattern. The study of helper role allow us to demonstrate that CD8 peptide-based vaccinations in presence of UCPs enhance the efficacy of tumor specific CTL responses. Indeed, the intensity of these responses is strongly correlated with that of UCP-specific CD4 T cells induced in vivo. Furthermore, the stimulation of UCP-specific CD4 T cells promotes activation and IL-12 release by dendritic cells through a mechanism that involves IFN, GM-CSF and CD40L. We also demonstrated the antitumor efficacy of UCPs during a therapeutic vaccination in mice, as well as their capacity to foster the recruitment of specific CD8 T cells at the tumor site. In addition, the presence of naturally occurring UCP-specific CD4 T cell responses was found in different types of cancers such as leukemia, lung, colorectal or renal cancers. A study conducted in a cohort of 84 metastatic lung cancer patients revealed a synergistic effect of spontaneous UCP-specific CD4 Th1 and chemotherapy-treatment. Altogether, this study provides further evidences that stimulation of antitumor CD4 Th1 cells is a powerful method to improve cancer vaccines and also highlights the interest of TERT-derived UCPs for the innovative monitoring of antitumor CD4 T cell responses