ngia/translation-en-fr huggingface dataset:
English: The verification ("proof") activity with the B Workshop is divided into various phases: the use of an automatic prover to demonstrate most of the obligations of correct proof, an examination of remaining proof obligations to detect errors and the finalization of proof with an interactive prover.
French: L'activité de preuve à l'aide de l'Atelier B se découpe en plusieurs phases : utilisation du prouveur automatique pour démontrer la plupart des obligations de preuves justes, examen des obligations de preuve restantes pour détecter des erreurs et finalisation de la preuve à l'aide du prouveur interactif.
English: B. Budgeted income for the 2010 season
French: Prévisions de recettes pour la campagne 2010
English: Recommendation in paragraph 85.
French: Recommandation figurant au paragraphe 85.
English: Access to the community is restricted to air, a winter road along the east side of Lake Winnipeg and a barge from Pine Dock during the summer months.
French: La collectivité n'est accessible que par voie aérienne, par une route d'hiver le long du littoral est du lac Winnipeg et par barge à partir de Pine Dock durant les mois d'été.
English: The growth of knowledge-based industries that have significant symbolic analytical content will increase in international trade in the years to come.
French: Les branches d'activité axées sur les connaissances qui reposent largement sur la manipulation de symboles devraient connaître une expansion importante sur les marchés internationaux dans les années à venir.
English: Similarly, the Atlantic Groundfish Strategy —or TAGS program — provided massive assistance to groundfish harvesters affected by the moratoria.
French: De la même façon, le programme de la Stratégie du poisson de fond de l'Atlantique a permis d’offrir une aide majeure aux pêcheurs du poisson de fond touchés par le moratoire.
English: The Groundwater Allocation is issued after assessing the test information collected in the GWEP and determining that the groundwater extraction will not have any significant impact on other groundwater users, or the environment.
French: Avant d’émettre le permis d’utilisation d’eau souterraine, on doit évaluer les renseignements liés aux essais recueillis pour le PPES et déterminer que le prélèvement d’eau souterraine n’aura aucune incidence importante sur l’environnement ou les autres utilisateurs.
English: (vi) An effective training and development programme for all staff involved in the search and examination process to ensure they acquire and maintain the necessary experience and skills and are fully aware of the importance of complying with the quality criteria and standards.
French: vi) Mise en place d’un programme de formation et de perfectionnement pour tout le personnel participant au travail de recherche et d’examen afin de lui permettre d’acquérir et de conserver l’expérience et les compétences nécessaires et de garantir qu’il soit pleinement conscient de l’importance de respecter les critères et les normes de qualité.
English: Mr President, ladies and gentlemen, our debate today consists of taking stock and planning for the future, as well as finding a consensus regarding the priority actions for 2007.
French: Monsieur le Président, Mesdames, Messieurs les parlementaires, notre débat d’aujourd’hui consiste à dresser le bilan et à envisager l’avenir, à trouver un consensus sur les actions prioritaires pour 2007.
English: Verification meetings were held with all three parties during the investigation; however, the two exporters did not provide sufficient information before the final determination to allow the CBSA to determine amounts of subsidy in the prescribed manner.
French: Des réunions de vérification ont eu lieu avec les trois parties au cours de l'enquête; toutefois, les deux exportateurs n'ont pas fourni assez de renseignements avant la décision finale pour que l'ASFC puisse déterminer les montants de subvention de la façon prévue.
English: HYPERLINK "http://www.nben.ca/earthed.htm"The New Brunswick Environmental Education Catalogue This database is a tool to assist teachers and other educators in New Brunswick in finding relevant environmental education materials, speakers and field trips.
French: HYPERLINK "http://www.nben.ca/tools/dbase/earthed/earth_ed_f.htm" Catalogue des ressources éducatives relatives à l’environnement du Nouveau-Brunswick Cette base de données constitue un outil qui aide les enseignants et les autres éducateurs du Nouveau-Brunswick à trouver du matériel pédagogique, des conférenciers et des excursions scolaires pertinents relatifs à l’environnement.
English: This is also proven by the fact that more frequently more than fifty members participate in votes on Friday mornings.
French: Toutefois, la participation aux votes finaux le vendredi 6 janvier 2007 (moins de 39 membres) et le vendredi 20 avril 2007 (moins de 34 membres) n’était pas trop bonne.
English: In making its recommendations, the Board of course has regard to the relevant ILO Conventions that have been extended to Gibraltar.
French: En formulant ses recommandations, la Commission veille naturellement au respect des Conventions de l'OIT dont l'application a été étendue à Gibraltar.
English: This piece will be priced for approximately $ 18 million.
French: Cette pièce maîtresse sera mise à prix pour une somme avoisinant 18 millions d'euros.
English: The availability in stock of personal protection gear for the police from acquisitions made in prior periods also resulted in lower requirements.
French: Les stocks de matériel de protection pour le personnel de police résultant d'achats réalisés lors d'exercices antérieurs ont également permis de réduire les dépenses par rapport aux prévisions.
English: The first session of the Conference of the Parties to the Convention would be held in Vienna from 28 June to 9 July 2004.
French: La première session de la Conférence des Parties aura lieu à Vienne du 28 juin au 9 juillet 2004.
English: FRAME: 256 Light rain has been falling from Nimbostratus cloud for over an hour.
French: SECTION: 256 Une pluie faible tombe d'un Nimbostratus depuis plus d'une heure.
English: Risk Management Others within the department are focussed in this area, including on compliance matters.
French: Gestion des risques D'autres groupes du ministère se concentrent sur ce domaine, et notamment sur les questions de conformité.
English: In her notice the claimant makes the submission that the Board of Referees failed to observe a principal of natural justice by including in the docket newspaper articles dealing with the labour dispute.
French: Dans son avis, elle prétend que le conseil arbitral a négligé d'observer un principe de justice naturelle en incluant au dossier des coupures de journaux traitant du conflit collectif.
English: Draft resolution A/C.5/62/L.35: Financing of the United Nations Operation in Burundi
French: Projet de résolution A/C.5/62/L.35 : Financement de l'Opération des Nations Unies au Burundi
English: It is just in Manciano that Milly and Roberto have descried the ancient and ruined farmhouse which overlooks the hill of the Fiora river.
French: Aujor’hui « le Pisanelle » peuvent offrir au Visiteur une vacance rélaxante et instructive donant du confort, dans une terre fantastique, qui pendant les ans a su mantenir tout entier son premier visage et avec intelligence a voulu arreter le temps.
English: 3) Documentary evidence proving that the product has been produced and marketed in the country of production for more than one year, which should be notarized by a notary organ of the country of production and confirmed by the Chinese Embassy or Consulate in that country.
French: Si la question de l'enregistrement est traitée par une agence de représentation en Chine, avec l'autorisation d'un producteur étranger, l'original notarié de la lettre d'autorisation et les photocopies du permis d'affaires de l'agence de représentation autorisée doivent être fournis.
English: Local economic activities have expanded to include the world's first zero-effluent pulp mill and more than 120 independent forestry companies.
French: Les activités économiques locales se sont étendues pour inclure la première usine de pâte à papier non polluante au monde et plus de 120 compagnies forestières indépendantes.
English: Public Service of Canada 22 78 16677 Department/Agency 22 78 1903 Ontario Insufficient Data Employment Insufficient Data
French: Fonction publique du Canada 22 78 16677 Ministère/Organisme 22 78 1903 Ontario Nombre de réponses insuffisant Emploi Nombre de réponses insuffisant
English: The Adoption of Children Act, Cap.
French: La loi sur l'adoption des enfants (art.
English: A plethora of tri-service committees was abolished, considerable reduction of facilities and services was achieved, a single CF policy and planning process for the entire Department was established, decision-making was improved with the creation of the office of the CDS, a broader understanding of the tasks and problems of the CF was obtained at the senior levels, and the scope of career opportunities for some support trades and classifications was expanded.59 There were negative effects of unification, stemming largely from Minister Hellyer’s single-minded focus on administrative efficiency.
French: Une pléthore de comités interarmées a été abolie, il y a eu une réduction considérable des installations et des services, on a mis en place à l’échelle du Ministère un seul processus de planification et d’élaboration des politiques, on a amélioré le processus décisionnel en créant le Bureau du chef d’état-major de la Défense, les hauts dirigeants ont mieux compris les fonctions et les problèmes des forces armées et on a enrichi l’éventail des possibilités professionnelles pour certains métiers et certaines classifications61.
English: Body growth in Atlantic walruses (Odobenus rosmarus rosmarus) from Greenland.
French: Body growth in Atlantic walruses (Odobenus rosmarus rosmarus) from Greenland, J. Zool.
English: The second parenthesis thereby discourages flexibility and that is not helpful to carriers or shippers.
French: Cette seconde solution diminue donc la flexibilité, ce qui n'est bon ni pour les transporteurs ni pour les chargeurs.
English: In accordance with Section 25(2)(c) of the Law, the culture of the deposited microorganism must be available as from the date of publication of the patent application to all persons making a request and, prior to that date, to any person entitled to consult the application file, in accordance with the provisions of Section 44(2) of the Law.
French: Toute personne remplissant les conditions requises pour la manipulation de matériel biologique peut, sur demande, obtenir un échantillon du matériel biologique déposé à compter de la date de publication de la demande de brevet. (Article 11.1) du règlement relatif au contenu des demandes de brevet et à la procédure applicable aux brevets divisionnaires) ii) Restrictions concernant la remise d’échantillons
English: These individuals are excellent resources that can assist you during your entire career with the federal Public Service.
French: Ces personnes peuvent souvent vous aider aux différentes étapes de votre cheminement professionnel.
English: Toothbrush can be personalised with logo.
French: Les Brosses à dents peuvent également être personnalisées avec un logo monochrome.
English: Indeed, between 1998 and 2002, employment in services in the new Member States as a whole declined slightly instead of expanding10.
French: D’ailleurs, entre 1998 et 2002, l’emploi dans les services au sein de l’ensemble des nouveaux États membres a non pas progressé, mais légèrement reculé10.
English: Access CSDs and CCPs should have objective and publicly disclosed criteria for participation that permit fair and open access.
French: Les règles et les exigences limitant cet accès devraient avoir pour objectif de contrôler les risques.
English: The variance between Planned Spending and Total Authorities is mostly the result of additional authorities approved during fiscal year 2004-2005 related to the Northern Gas Project, the accessing of the Agency's 2003-2004 lapsed resources, and collective bargaining agreements.
French: L'écart entre les dépenses prévues et le total des autorisations est principalement attribuable aux autorisations approuvées au cours de l'exercice financier 2004-2005 liées au projet de gaz du Nord, à l'accès aux ressources non utilisées de 2003-2004 et aux conventions collectives.
English: In the Modify Packages wizard, select the installation location for the Rational Functional Tester product package and click Next.
French: Dans l'assistant Modifier des packages, sélectionnez l'emplacement d'installation du package de produit Rational Functional Tester et cliquez sur Suivant.
English: That factor would need to be taken into account in the development of the review mechanism as it would affect the pace of implementation and the resulting outcome of the review.
French: Cet aspect devrait être pris en compte lors de l'élaboration du mécanisme d'examen car il influera sur le rythme de mise en œuvre et sur ses résultats.
English: Goals, Objectives and Action Plans To accomplish its mission, the Agency develops, manages and promotes an effective federal environmental assessment process.
French: Buts, objectifs et plans d'action Pour remplir sa mission, l'Agence voit à l'élaboration, à la gestion et à la promotion d'un processus fédéral efficace d'évaluation environnementale.
English: The Description of Goods of tariff item No. 8523.80.10 is amended by adding, in alphabetical order, a reference to "Gramophone records;".
French: La Dénomination des marchandises du no tarifaire 8523.80.10 est modifiée par adjonction de « Disques pour électrophones; » comme une disposition distincte avant la disposition « Supports préparés non enregistrés ».
English: These results indicate a switch from low-capacity NaHCO3 plus NaCl transport under unstimulated conditions to high-capacity NaCl transport under stimulated conditions.
French: Ces résultats indiquent qu'il se produit un revirement : la capacité de transport de NaHCO3 plus NaCl est faible en l'absence de stimulant et la capacité de transport de NaCl est forte en présence de stimulants.
English: • Continued progress, using existing budgets and special funding from the Treasury Board, is being made on dealing with the backlog of deferred maintenance in the department's inventory.
French: • Les frais immobiliers associés à la croissance ainsi qu'aux coûts de recapitalisation exigés des ministères partenaires, approuvés par le Conseil du Trésor en juin 2005, ont été mis en application.
English: The Sixth Committee will hold its first meeting on Tuesday, 6 October 2008 at 10 a.m. in the Trusteeship Council Chamber.
French: La Sixième Commission tiendra sa première séance le lundi 6 octobre 2008 à 10 heures dans la salle du Conseil de tutelle.
English: To that end, we have been encouraging all the parties concerned while facilitating the ongoing process of dialogue.
French: À cette fin, depuis un certain temps, nous encourageons les parties prenantes et facilitons le dialogue en cours.
English: One soldier, in Mamou, got off his motor bike to shoot at demonstrators.
French: C'est ainsi qu'à Mamou, un militaire à moto est descendu de son véhicule pour viser les manifestants.
English: Article 52 provides that all citizens have a duty to respect and protect the environment.
French: À cet effet, l'article 52 fait du respect et de la protection de l'environnement un devoir pour tout citoyen.
English: The next item is the joint debate:
French: L'ordre du jour appelle en discussion commune:
English: These limits are based on the number of names on the preliminary lists of electors or the revised lists of electors, whichever is greater, for those electoral districts in which the party has a confirmed candidate.
French: Les plafonds finals sont fixés en fonction du nombre d'électeurs inscrits sur les listes électorales préliminaires ou sur les listes électorales révisées, selon le nombre d'électeurs le plus élevé, dans les circonscriptions où le parti a un candidat confirmé.
English: Changes to the Helsinki Convention contain general rules which will also certainly have an effect on EU legislation, especially with regard to agricultural policy.
French: Les changements apportés à la convention d'Helsinki contiennent des règles générales qui auront certainement aussi un effet sur la législation européenne, et en particulier sur la politique agricole.
English: The latter was the most radical solution.
French: Il s'agit là de la solution la plus radicale.
English: E. Community strategy on health and safety at work (2002-2006) In March 2002, the Commission adopted a new strategy to facilitate application of existing legislation on health and safety at work and to promote new initiatives over the period concerned.
French: E. Stratégie communautaire de santé et de sécurité au travail (2002-2006) La Commission a adopté, en mars 2002, une stratégie qui vise à faciliter l'application de la législation existante en matière de santé et de sécurité au travail et à donner de nouvelles impulsions pour la période concernée.
English: Mary Carman, the Associate Assistant Deputy Minister for Spectrum, Information Technology and Telecommunications, made the presentation representing the Honourable Allan Rock.
French: Mary Carman, sous-ministre adjointe associée de Spectre, technologies de l'information et télécommunications, a fait la présentation au nom de l'honorable Allan Rock.
English: Through HPFB's Review of Regulated Products:
French: Par le biais de son document Examen des produits réglementés :
English: Programs and interventions Preventing injuries through direct intervention is hampered by a lack of:
French: Programmes et interventions Plusieurs lacunes entravent la prévention des blessures par une intervention directe.
English: Distillates (petroleum), solventrefined heavy paraffinic; Base oil — unspecified (A complex combination of hydrocarbons obtained as the raffinate from a solvent extraction process.
French: Distillats paraffiniques légers 649-469-00-9 (pétrole), déparaffinés au solvant; huile de base — non spécifié [Combinaison complexe d'hydrocarbures obtenue en éliminant les paraffines normales d'une fraction pétrolière par cristallisation au solvant.
English: Given that this is a threat to all of us, the most appropriate strategy is one that leads us to act together, bypassing national level and even the areas of internal justice and security.
French: Étant donné qu’il s’agit d’une menace qui nous concerne tous, la stratégie la plus appropriée est celle qui nous conduit à agir ensemble, en évitant le niveau national et même les domaines de la justice et de la sécurité intérieure.
English: Nonetheless, it is probably true that the level of non-compliance may be higher among rural populations, suggesting that this issue needs to be monitored.
French: Néanmoins, il est probablement vrai que le niveau de non-conformité et peut-être plus élevé dans les populations rurales, ce qui suggère qu’il puisse être nécessaire de se pencher sur cet aspect.
English: The original observers returned to the site in 2001 and did not find any plants.
French: Les premiers observateurs sont retournés à cet endroit en 2001 et n’y ont trouvé aucun individu de l’espèce.
English: Are there any minimum standards for employment contracts?
French: L'activité de base de l'entreprise détermine la commission paritaire dont elle relève. Prenez contact avec Flanders Investment & Trade pour tout renseignement complémentaire sur le système des commissions paritaires, y compris la commission paritaire compétente dans votre domaine d'activité.
English: The Policy Statement on the Status of Women stresses the direct and indirect effects of social relations between women and men, especially regarding health and violence.
French: La politique en matière de condition féminine met en relief, particulièrement en ce qui concerne la santé et la violence, les effets directs et indirects des rapports sociaux entre les femmes et les hommes.
English: The purpose of the Committee, established in 1991, was to establish and maintain a two-way flow of communication between the Board of Directors of the Canadian Payments Association and the Department of Finance on behalf of the Minister responsible to Parliament for the CPA Act, the Minister of Finance. This mechanism is used to discuss, both at the early planning stages and subsequently, 9
French: Ce mécanisme donne un moyen de discuter, à la fois aux stades initiaux de la planification et par la suite, des questions découlant des affaires de l’Association qui ont des incidences de politique publique et dont le ministre et ses fonctionnaires devraient être au courant et sur lesquelles leurs vues seraient utiles au Conseil dans l’accomplissement du mandat que leur confie la Loi.
English: TILLINGHAST - Detailed Report Contract Detail Vendor Name:
French: TILLINGHAST - Rapport détaillé Détail du contrat Nom du vendeur :
English: However, the Board was concerned at the increasing level of unpaid assessed contributions.
French: Toutefois, il a jugé préoccupante l'augmentation des quotes-parts non acquittées.
English: The Monterrey process is a collective learning process among all stakeholders.
French: Le processus de Monterrey est un processus d'apprentissage collectif entre toutes les parties prenantes.
English: I examined and, where necessary, recalculated the conversion of purchases and subsequent sales of chicken as reported in [applicant name] purchases and sales journals from September 1, 2005 to August 31, 2006 into eviscerated equivalent kilograms, as described in the application, based on the formulas set out in section 15.1 of the Notice.
French: J’ai examiné et, au besoin, j’ai recalculé la conversion, en kilogrammes d’équivalent éviscéré, des achats et des ventes ultérieurs de poulet figurant au grand livre des achats et des ventes de [nom du requérant] pour la période du 1er septembre 2005 au 31 août 2006, énumérés dans la demande selon les formules énoncées dans la section 15.1 de l’Avis.
English: Co-operation may reduce uncertainty and thereby reduce transaction costs48,49 - benefits that are impossible to measure.
French: Une coopération peut limiter ce facteur et ainsi réduire les coûts de transac48,49 - des avantages qu'il est impossible d'évaluer.
English: Environment Canada (1999), Municipal Solid Waste Incineration in Canada:
French: Environnement Canada (2006b), communication personnelle avec F. Flynn, Service de l’assainissement des eaux, Direction des politiques du secteur industriel, Ministère de l’Environnement du Québec, mars.
English: It has resulted in publications, NSERC funding, attracting collaboration and students.
French: La nouvelle infrastructure a renforcé mon programme de recherche.
English: Second, refinements are proposed to the rules as set out in the regulations for determining GST/HST remittances by provincial gaming authorities.
French: En deuxième lieu, des améliorations sont proposées aux dispositions réglementaires sur le calcul des versements de TPS/TVH des administrations provinciales de jeux et paris.
English: SUMMARY The main objective of the Directive is to introduce a security system in all port areas.
French: SYNTHÈSE Cette directive a pour objectif principal d'instaurer un système de sûreté dans toute l'enceinte portuaire.
English: • Alberta Vegetable Growers (processing) - Email
French: • Alberta Vegetable Growers (processing) - Courriel (en anglais)
English: The Council welcomed the extensive efforts made by various international partners to convince the Government of Sudan of the need for a UN operation in Darfur to secure peace and called for all partners to continue to act together to this end.
French: Le Conseil a salué les nombreux efforts déployés par différents partenaires internationaux pour convaincre le gouvernement soudanais de la nécessité d’une opération des Nations unies au Darfour afin d’y assurer la paix et il a appelé tous les partenaires à continuer d’agir de concert à cette fin.