Mapsembler, targeted assembly of larges genomes on a desktop computer

Documents pareils
Budget Constrained Resource Allocation for Non-Deterministic Workflows on a IaaS Cloud

La voix en images : comment l évaluation objectivée par logiciel permet d optimiser la prise en charge vocale

Système de diffusion d information pour encourager les PME-PMI à améliorer leurs performances environnementales

Notes de lecture : Dan SPERBER & Deirdre WILSON, La pertinence

statique J. Bertrand To cite this version: HAL Id: jpa

AGROBASE : un système de gestion de données expérimentales

Compte-rendu de Hamma B., La préposition en français

Dessin assisté par ordinateur en lycée professionnel

Sur le grossissement des divers appareils pour la mesure des angles par la réflexion d un faisceau lumineux sur un miroir mobile

L indice de SEN, outil de mesure de l équité des systèmes éducatifs. Une comparaison à l échelle européenne

Les intermédiaires privés dans les finances royales espagnoles sous Philippe V et Ferdinand VI

Jean-Luc Archimbaud. Sensibilisation à la sécurité informatique.

Program Analysis and Transformation: From the Polytope Model to Formal Languages

Peut-on perdre sa dignité?

Étude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire

Les Champs Magnétiques

Un SIG collaboratif pour la recherche historique Partie. Partie 1 : Naissance et conception d un système d information géo-historique collaboratif.

La complémentaire santé : une généralisation qui

Comptabilité à base d activités (ABC) et activités informatiques : une contribution à l amélioration des processus informatiques d une banque

e-science : perspectives et opportunités pour de nouvelles pratiques de la recherche en informatique et mathématiques appliquées

Identification : ERDF-NOI-RAC-02E Version : V.3.0 Nombre de pages :14

Les déterminants du volume d aide professionnelle pour. reste-à-charge

Sylvain Meille. Étude du comportement mécanique du plâtre pris en relation avec sa microstructure.

Famille continue de courbes terminales du spiral réglant pouvant être construites par points et par tangentes

Un exemple spécifique de collaboration : Le produit-partage

Sur la transformation de l électricité statique en électricité dynamique

Liste des titres de formation autorisés par le CNOSF

Réseau CAI Bpifrance L EQUIPE DES CHARGES D AFFAIRES INTERNATIONAUX UBIFRANCE

Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur

UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4140

Calculer les coûts ou bénéfices de pratiques sylvicoles favorables à la biodiversité : comment procéder?

AICp. Vincent Vandewalle. To cite this version: HAL Id: inria

Bourses d excellence pour les masters orientés vers la recherche

Servir ses utilisateurs sans bureau d accueil physique

Jessica Dubois. To cite this version: HAL Id: jpa

Paris-Saclay Index Immobilier d entreprise nº 1 mars 2015

L auto-archivage en maths, quoi de neuf?

Cursus Master. Ingénierie. Un cursus en 5 ans à l université

Vos interlocuteurs en région

L INRIA, institut français des STIC. (en Île-de-France) 24 septembre 2009

Représenter un pays : la carte de France

LIVRAISON DE COLIS ET LOGISTIQUE URBAINE : QUELLES RECOMPOSITIONS DE LA MESSAGERIE EN MILIEU URBAIN?

RESINFO Françoise Berthoud, Anne Facq, Gilles Requilé

4 914 m 2 div. Direction Grands Comptes jerome.vincent-genod@keops.fr m 2 div.

TutoJRES Outils et Services Collaboratifs

Protection de la vie privée basée sur des ontologies dans un système Android

Laboratoire de Haute Sécurité. Télescope réseau et sécurité des réseaux

Le P2D2. Réunion INSIS 24 mars Direction des comptes et de l information financière (DCIF) Bernard Adans Sandrine Loridan-Torchy Alain Dedenis

Master 2 Juriste d'affaires. Master 2 Juriste d'affaires Internationales Master 2 Droit de l'entreprise spécialité Droit des Affaires et Fiscalité

N.B. : Mode de classement par ville où se trouve la structure

Réseaux sociaux virtuels et création de valeur

UNIVERSITE DE BORDEAUX Référence GALAXIE : 94

LES MASTERS 2 DANS LE DOMAINE DES STAPS EN FRANCE 2012/2013 NORD-PAS-DE-CALAIS. Université Lille 2

Scroll down for the full contact details of these training centres.

Liste des centres du sommeil homologués par la Société Française de Recherche et Médecine du Sommeil

UN RENDEZ-VOUS PRO? ALLEZ-Y AUSSI AVEC LE VÉLO STAR.

INITIATIVE HPC-PME Calcul haute performance pour les PME

Dossier de candidature PME/PMI

CHINON GROUPE LAUREAT. trophée national de l entreprise citoyenne. Calendrier inter-entreprises 1er semestre 2013

Devenez Donneurs Sommaire

Modèle d évaluation quantitative des risques liés au transport routier de marchandises dangereuses

Modification du dossier de création de la ZAC (Zone d'aménagement Concerté) des quais de Floirac

Perspectives du développement de l énergie solaire en U.R.S.S. : conversion thermodynamique en électricité

Les liaisons intermoléculaires de l eau étudiées dans

MER DU NORD. Seine. Toulouse. Grande culture (céréales, oléagineux) Cultures maraîchères (fruits, fleurs, légumes)

Mode d emploi pour le raccordement de votre installation de production

Adaptation et cloud computing : un besoin dabstraction pour une gestion transverse

ECOLES DE COMMERCE. En ce qui concerne le concours, elles se répartissent en trois catégories

ETAT DES LIEUX DE LA FORMATION INITIALE EN METALLERIE. Atelier de 14h30 16h00

8. Cours virtuel Enjeux nordiques / Online Class Northern Issues Formulaire de demande de bourse / Fellowship Application Form

Clouds/Big Inria. Frédéric Desprez Frederic.Desprez@inria.fr

uniqué Commu continuité entre la urbaine quartier. La de Elle distingue Aménagement La élaborée avec HQE Aménagement opérations Riche 37).

Plateforme Technologique Innovante. Innovation Center for equipment& materials

The space to start! Managed by

Concepteur de lieux de vie. Programmes PINEL

Le Service Central du Traitement de la Dépense. Intervenant l mentions légales.

LES CLAUSES DES CONTRATS DE DETTE DES PETITES ENTREPRISES : CAS DES ENTREPRISES CANADIENNES

Pourquoi il faut fermer le CEA-Grenoble

La Banque Postale Présentation de l activité Secteur Public Local. Bruges, le 3 juillet 2013

Capitale touristique, cité médiévale, ville impériale et emblème du Maroc à l étranger,

Cursus Master. en Ingénierie NOUVEAU : un cursus intégré en 5 années

Etude des convertisseurs statiques continu-continu à résonance, modélisation dynamique

CERTIFICATE. Reichhart Logistique France. ISO/TS 16949:2009 Third Edition Rue de Neuf-Mesnil Feignies France

DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris.

FERMETURES VENTOISES 167, rue des frères Bernouilli Z.I. n 2 La Madeleine EVREUX

Immobilier de bureaux en Plaine de France

DES PROJETS UNF3S INVESTISSEMENT D AVENIR IDEFI TIL 15 JUIN 2015 > 15 SEPTEMBRE DATE DE L APPEL A PROJETS :

Rapport financier semestriel

Conférence de Presse Les Chiffres Clés de l immobilier d entreprise et du logement. 28 janvier 2010

A / BIOGRAPHY : Doctorat en Sciences Economiques et de Gestion (Ph.D.), Louvain School of Management Université catholique de Louvain

Présentation du GROUPE IF COACHING

Diplôme d expertise comptable (DEC)

La régulation du réseau Internet

INTELLIGIBILITÉ DE LA PAROLE EN CHAMBRE SOURDE - INFLUENCE DU DIFFUSEUR

Contrôle d Admission Basé sur un Plan de Connaissance

HAL-Pasteur. La plate-forme d archive ouverte de l Institut Pasteur. Formation au dépôt d articles.

Formations et Certifications. Serveur Infrastructure

Licences Professionnelles

Transcription:

Mapsembler, targeted assembly of larges genomes on a desktop computer Pierre Peterlongo, Rayan Chikhi To cite this version: Pierre Peterlongo, Rayan Chikhi. Mapsembler, targeted assembly of larges genomes on a desktop computer. [Research Report] RR-7565, INRIA. 2011, pp.17. HAL Id: inria-00577218 https://hal.inria.fr/inria-00577218 Submitted on 16 Mar 2011 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Mapsembler, targeted assembly of larges genomes on a desktop computer Pierre Peterlongo Rayan Chikhi N 7565 Mars 2011 Computational Biology and Bioinformatics apport de recherche ISSN 0249-6399 ISRN INRIA/RR--7565--FR+ENG

t r t ss 2 r s s s t t r P rr P t r 2 t t 2 r t s t t s r 2 t r t q s Pr ts 2 s rt r r rs s str t r 2s s 1t r t s q t r r s s t 2 r s r t q rs r r s s rt s q r ts r 2 s q r s s t t t s r r str t s q s ss rs r t2 2 2 t r ss s t r t r t s t s s t r2 r q r t s ts r s t s r t r t t r t ss r r ss s r t s ts r s t2 r r s r s r t r s r s t r st t r s r str ts t r r t r s s q s s s r s r s q str t r tr r t s t r tr s s q r r s str t 1t s r s s s r s t rst s t r t t s s r2 r r t r st s Ps 1 s s s t r str t r ts r t 2 r r s q r s r t tr t ss 2 s t r r2 r q r t 1 t t s r r s r 2 r s t 1 s 3 s r s t tt s r st r 2 r s r t s r t s t r t ss 2 t r2 s rr s t r Centre de recherche INRIA Rennes Bretagne Atlantique IRISA, Campus universitaire de Beaulieu, 35042 Rennes Cedex Téléphone : +33 2 99 84 71 00 Télécopie : +33 2 99 84 71 71

ss é r s é s s r r t r r és é 2s s é s séq ç é ér t r s r s é s st s t r r 1 s s séq rs r s t s r s r ts séq s rt s à rt r r s s t séq és s t q s ss s é s s t é ér t t sé s r tr t r t s é s t s r 1 é ts s t q s st r rt t é r s rés t s s r ss r tér t é r tt t tr t r r s s s é s s r r t r ss q s r r rés ré térêt s s é s séq ç t r str t s s s t s s r séq r r s s s r str t r èt s rés t s 1 r t s r r tr r s s séq t r str r r 1t s s s r st r r r tt t é rt s ré térêt r 1 s è s s Ps 1 s t t tr é é t t r str t r tt 2s s t r t t à rt r s t r s séq ç r t s P r r rt 1 s ss tr t s s s s é r t t s 1é t s r s t s ér t s s r 1 t s é s st sé s r t êtr r t t sé s r tt s r st r ts és r t s é r t q ss é t s t é r é èr

r s t ss r t 2 2 rs t t rr t 1t r t q rs s t s s q t r t r t r t st t t s r t st s s q t 2 t s t s r t t s ts s 3 r r s 2t s t r t 2t t s ts s 3 s t t tt s r t r tt s t 2s s r t t rr t t s t t t t t r s q st t 2 r t r s s q r ts r s t r r s s rs t t r r r str t t t r s q r t s r ts ss 2 s s 2 t r s t t r ss r s r st ss 2 s q t r r q r s r s 2t s r2 s r P s t t s t t r ss r tt t s s t t t ss 2 r t s r r r st s t t t s t r str t t r s q t st s q s r t s q rts r r t t t s s t r st t r r t s s r t 2 st r s... s sts r r s 2 r t r t 2 t 2 s r r s s t t s r s ss 2 s t rr s r r2 st r ss 2 s t 2s s t r s s q t s t q t s t r t 1 r 2 s r s t r t t r ss r s r rt t 2 2 q st s s r 2 23 ss r s rt r t s r 2 ss ss r r r t t t s r r st 2 t r st t 2 s q s t r s r 32 t r s t r s t t s r s t s r s q st s s r s t r s r t st rt r s q r t s r s t s t r s s s ss t r str ts ts r t r s s q r s r s r s r s t r str t r 2 s t s r s t t ts r2 s s t r t s 3 t r s s t s s s r t 2s s ts r s s s t t r t s s r r r r q st s t t t t ❼ s t s t s s t r s s t s st rt r s r t ts ts r s ts s s s r str ts t t 1t r s ❼ s t s 32 1 st t s t s t r 32 s q s s s st rt r s r r s t r t ts r s t t r s t

❼ t r t s t s s q r t s 2 r t s t s 2 t r st r ts s q r t s t s q r t s st rt r ts rr s t r 3 st r ❼ t t r r s rr s t t t r s r s2 t ❼ rst t s t t 1tr t s ss t s t r ss 2 r s t t s s r s t s r r s r r t t st s t 1t t r s r r s r ts 1t s r s r r t ss t s r s t 1tr t2 t s st rt r s r s t rst 2 t s t 1t rt r ❼ r t P r s t s ts r s s t r s r s s 2 s r t 3 t t s st rt r s ts s ss r s t r s t t s r s s t r s r t s s r t t s s t 1 s t t r s s r r r s t s t s s2 t s 3 r t s r t r s s r s s 2 t r t r t r t s r t r ss 2 s t r r s r t 2 s q rs s r ts r s q r t r s t r ts t st rt r s s t r s r t st rt r t r t s s r t t t s s s r s t st rt r r str t r r s t s s t st rt r s s r r t r t r str t r s st t t s s t r 3 t t r s t st rt r s s t s q rr rs t t r rr t t 2 1t s s r r t st rt r s 1t t r t r t t s r t r t 1t s s st s s s s r r t 1t s s 1 st rt r s q rr rs t s s t t t s s st t t st rt r s t r r str t rs r 1t s t s t s s r ss r t 1t s s rt r s q rr rs s s t 1t s s r r s t tr r t s t r t 1t s s 2 t t s t r 1t s t s 2

r t s t r t t r r t r t r st tr st r s s q r t ts r r s r t tt 1 r t s s r Ps r st t s ts r st r t s 2 t s r 1 t s r r s ts s 3 t s r r s ts t t t 1 r s t 2 st rt rs s t t s r r t 1 t s r t t 2 t s 3 t r s t r 2t s 3 t s ss t r s r 2 s t r t t r t r q r r r2 t s s t r r s s r t s s s t t r d s st t t s st s t r 3 t st rt r r t r s s s q r st rt r s s r st t s s ts r s 2 r str t s t st t st d r 1 s t d > 0 s r s st rt rs 2 r t 1t s s t r st rt r s st rt r r r s t t t s st rt r r t s t r s st rt r r r s t 2 t t r t r t st rt r r r s ts s st t t t r s t s r t 2 t s 1 t st t s s t r s 2 r t st rt r t t st t s st t t s s st rt rs r t s r t r t t r s st rt r s r st t r t r s s r st s r t 2 s t st rt r t st t st d r t s st rt r t t 1t rt r s r t st t t rt t r r 2 s t r t t r t s r s s t ss r t s s t r s t r ts s s s t t r st rt r s t st t st r t 1 t 2 t s t t ts t r s t t s 1t s s t r r s t 1tr t s st rt rs r 2 t s r 1 s 2 st rt rs r2 r q r ts s t t s 3 r s

t t t s r s t 2 rs r s t rs t t r s ❼ s st rt rs r tr ❼ t t r t s t 1t st rt rs s r s ss s s q t t r r t t s s ts r s ts s st rt rs ❼ r t t t t r t r st rt rs r s r r r 3 r t t r t 1 r s s t s s rt r s t s s q r s r t t t r t 1t s s 1 s s t t s t r s q r 2 r s st rt r s r s r s s s r2 s s s s r2 r s t st rt rs r 2 r r s s r s r s s s r2 s st t r rs s r2 t t t t s s s r r s str t 2 r r s ts t s t t ts s st rt rs t s r r t s 1t st rt rs s r s s t t s s t s q s r t r 2 r s r t s r r s ts t t t t r t rr r rr t r st s t t r s s t t s t s q s s s t r s ts r s ts t s t s q s r r 2 t s 1 r ts t st r t t r2 r q r ts r t s ts t st t r t t s 1 s s r s q s r r t r t r t2 1/4 t r t s t s ts r t s ts s t t r r s r s s t s s t s ts r r s t t r r s s st rt rs s ts s r 3 s t t r2 s s r2 s t 2 t 2 t r 2 r s t r s r s ss t t r s s s t r t r2 t r q r ts r t r s r s t s s t s s r s t rs t r t s t r t s s st r s s r r t s r2 r t 1 r2 s s r 2s s r s s r s s t t r 1 r t r t s t t r t s t s s r t r t rs t str t r t t s q s t s t t t r t r t s r

s r t r2 r q r ts r t r r r2 r s r s s t t t r t s s 2 s s s 2 s s s 2 s s 2 s s t t r t t s r s r st s r r t t t t s s r s r st rt rs r r s s s s r t r t t t r s s r r r s t t s s s t 2 t s r s s s t r st rt rs s t2 2 t r r t t r t s t r st r s str t t s t r t s t s tr 1 s s r s s t t s s t r s t t2 t s r r s 3 ts t r t r tr s r t s t t r s 1 s t s t r 2 r t t s s q t t s 2 s2 t t 1 t s s s t t s q t t s q s t t r s t s 2 s r s s t s r t t t s q s st rt r t 1 s r tr 2 s r s s t s r 2 t t t t t t 1 s t ss r t t r s s r s r t 1 r r s t 2 t t t r r s ts t s q s 1 s r s r s st r q q r r s t t s s r r t t s s st rt r t s t 1 s r P s ss t 2t r2 t s s r t r s t r s t t r t r s t 1 s s s Ps r s t s r t s t s r t s q r P r t r s s r

r 1 t r s s t s t r t s t t s 2 t st rt r r s r r t 1t s s r s r t 1t s s 3 s t r r t s q t s s t s 1 t t 1t s s s s r t t t t s t t t st t s 1 rt 2 s rt t t s t r t 1 s q s r tr t r s s t s r r s ts r t s ts r 1 q t s t s 2 1 s s t st t ss s r st rt r s q s r tr t s r s t s r t s st rt r t ss t 2t r2 ss t t s 1 t t r t s r s ts r s t t s 3 t Ps t s s r s t s t s r t r s s r s s r t t t s s r s st rt rs r t 1t s st rt 2 s r r t s s s r s t t t s t s ts t t s r r 1 t s t s st rt r r t t r t t r r t s ss 2 s t rs ss rs r r 2 t t t r t r

r s s t s r r s ts r t s ts r Ps t s r s r Ps s 2 s t r t 1t s s s q s r tr t t s r r s t rst s s r2 s r t s s r t ts 2 t s st rt r r t r s ts r t t2 s s ts t s ts q t s r t t t 1t s s s r 2 ss 2 r t s r t r s ts s t2 r s t s t s r t r t 2 t s r r r rst s 1 r s t k k rs t t r t st rt rs s r t r k r st s (starter id, position on starter) s st r ss st t t s s t t 2 st rt rs r st r r2 s r s q t 2 r ss s t r s t r r rs t t st r 2 t t r2 r r r ts k rs r 1tr t s r r r st rt rs r st rt r s r r r s t s r 1 t s st t t s s r t r s ts t s str ts r ts s t p r,s r st r s t ss t t s t t t s r 2 tr r s s ss r s r s r r ss 2 r st rt r s t t ts s st rt rs s 1, s 2,..,s n s t st rt r r t r r st t st s st rt r s r t s s s r r t ts s st rt rs s 1, s 2,..,s n r s r r 1t 1t s s t 1t s s t P s ss 2

r t r s k r 1 1 t r 1t s s s t s r st rt rs 2 r 1t s r r t t t t t t s 1 t k 1 t s r t 1t s t 1t s ts s ss k rs t s r t s t 1t s s r 1 t t r 1t s 2 1t s r 2 t r s r t 1t s s t 2 s st t t r r s t 1t s e t r t r s t p r,e r st r s t ss t t e r s r r ss ss 2 t 1t s s r 1t s e s s t s r t p r,e t 2 rr t r s t t e t r ts s s s r r t 1t s r ss t s r s r s s r t r r t e t r t 1t s e s s r s 1 t 2 r t s s s f r r t e t s s t r t f s st r s r s ss 1t s r 1t t r t r r r t r t s s s {f 1, f 2,..,f n } r r t e s s q t t s r q r t st r 1 f i s st r t 1t s s st r e r t t s r q r n 1t s r r t st r r t f i r ts {f 1, f 2,..,f n } r st r s r s 1t s s r 1t t r t 1t s s s r r st t t r t r ss t t r s ts s t s 1t s s s r t t t 1t s s r 2s r r r t t r t r t 1t s s t st rt rs r s 2 r rs t r t r ss t r t r tr t r s q s st rt r r t r r st s st rt r r t r r st t s t t t s r t f r s R t s st r t s s t s st rt rs s 1, s 2..., s n ❼ r t r t r s s i s s s s s q s s t r s ❼ r r t t t r t f t st t f s i s t st d r t r st r tr t r st s t s st rt rs r r t f t st s st rt r s t r t f s s t r r t t r st s t s st rt rs r t s t t t r

Pr t s s s s r r s t r t f r t r d 0 s t rr r r r s R = {(r i, p i )} r r i s t f t s t p i 1 t r s t t t s r r s s ts S i R s t s 2 s s t S i ts r t s s s s i r r i s t s i t s t p i r t t f t s t t s str s i s t f s t st d s t s t f s t f s r 2 t st r S i tr 1 t s t s t r t t r s t ss s s ts R r s ts s t s 2 t t s 2 1 s ts r r 2 s 1 t 1 t2 t s s t r 2 s r st 2 t r r s s s s t r t s s t s t rr t s s ts r t r t t s s ts S i r s t t s s s s r r s t r q r t rr r r r s R s rt r s r r t s t s s r s t t s s ts S i S = r r (r, p) R r s s t S i S r r s r t 2 t t rt st r S i t r t S i s r r s r t 2 t t r s S i t t (r, p ) t rt st r S i r t r r t s s t t r s S i t s t p r s rt t t S r t s t r 2 r s t r s t t 2 r t r t s s t t r s rt t t S r t r S t ss r t t t s r t s rr t s st rt rs s s s r t s t tr t t s rr t s st rt r t 2 t r t t r 1,..,r n t 1 s s t r s 2 s s s rt 2 r s s t s t f s 2 t t t t r t r t r s s s t s r 1,..r k r k [1..n] r k = 1 r r t t t r t ss s s s t t r ss r 1,..r k s rt r t r s s t S 0 s t t r 1,..r k+1 s s r t r 2 t r t r k+1 s rt s s t 2 s s t r s r t 2 t r k r r k+1 s t ss r 2 t S 0 t r k+1 t r s r k S 0 t r r t r s 2 r s s t r k+1 s s r r k+1 t t r t s ts r k+1 = r k+1 s s r k+1 r t 2 r s t r k t r t r t s s s t r S 0 t s 1 t 2 r 1,..r k+1 t 2 r t t t r t s

s s t t s r 1,..,r n r 1,..,r n s ts 1 t s s t 2 t r t s 1 t 2 r 1,..,r n t s st rt r r t s r rs r t r t s r s r t rr r r s ss s 1 r t 2 r rr t st r r r s s ts str t r t r r t s q r t t s st rt r r 2 1t s 1t 2 r t r t s s s s s t r t s r q r tr str t r s t 2 r t r t t tr s 2 t s st rt r 2 t r st r s 1t s t s r t r t t s r s ss ss s st rt r t s st rt r r s r ts P r 1 s t t r t t st t t s t t t t r t t t t t t s s q s r r t t t t t s r s r 1t s s t tr s tr s r t r t r G n 1 r G s 1t t s s s r t f t r t s f s t r 2 r s t G n 2 r t s t st k r t s q G s 1 s t G references f s r 2 r s t t tr s 2 f s r t t s t t k rs r s ts f t s st r G references f t s q n 2 s rr t t n 1 s t n 2 t r r 2 r 1 s s 1 s t t r n 1 r n 2 r s t t r 1t s s r G s s s s ❼ 1t s s r tr s r t 1t s s 2 r t rst k 1 r t rs t r 1 t t r t ❼ s n 1 n 2 r r t t t r s q s 2 n 1 s 2 n 2 s n 2 s 2 n 1 s t r ❼ r 1 r n s r r t s s t r 3 s s 1 t s q st r n r 2 s 1 t rs n s r r t rs t t r 3 s r 1 n rst tr s r t r s r t r t s s tr s r t s ss r ss s t s t r tr s r t r t s r t r t t 1 t s t r s q s r

s s s r s s 2 t r s t r 1tr t t r t s r t r 2 s q ss s r tr s r t s 2 s r r tr s t s r t r st r r s t r t ss 2 t r r t t r t s r s t s r s s 3 t t t 1t ss s q s s r s r 1 t ss s t t r t t t t t t t r r s ss t s r r s t t t tr s q s r r s s t s r s q t t r r s t s r r s t t s r t r s r t r ts s s t r s r t s r s r r r2 r t t s s r s ts t ts t r st r t s t r t ss 2 r t s r t r t 2 s t r t s s r s r r s s st t 2 st r s s ss r2 t s s s r t r s r r rs t t r ts r 1t r rt t 2 s r s s r t r s s s t r t 1t s s r s 3 t ts s r s s rt 2 t t r r r t t rs r 2 t t r 1 r tr P s t r r t r rt t t s ss s t r s rt 1 r t r s ts r s t r s 2 2s r r st s r r ss s rs ss r 2 2 t r rr s P P 2 P r r r s r r r r t r t t r s 1 r ss t s 2t s t Pr t s t r st s t ss 2 s t ss 2 r s rt r s q r s r t r tt s t s s q s t r r s t s P rr rr t r t ss 2 s rt s q r s t r Pr s

rr tt s t ss s s rt s q s s r t s

Centre de recherche INRIA Rennes Bretagne Atlantique IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Centre de recherche INRIA Bordeaux Sud Ouest : Domaine Universitaire - 351, cours de la Libération - 33405 Talence Cedex Centre de recherche INRIA Grenoble Rhône-Alpes : 655, avenue de l Europe - 38334 Montbonnot Saint-Ismier Centre de recherche INRIA Lille Nord Europe : Parc Scientifique de la Haute Borne - 40, avenue Halley - 59650 Villeneuve d Ascq Centre de recherche INRIA Nancy Grand Est : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101-54602 Villers-lès-Nancy Cedex Centre de recherche INRIA Paris Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105-78153 Le Chesnay Cedex Centre de recherche INRIA Saclay Île-de-France : Parc Orsay Université - ZAC des Vignes : 4, rue Jacques Monod - 91893 Orsay Cedex Centre de recherche INRIA Sophia Antipolis Méditerranée : 2004, route des Lucioles - BP 93-06902 Sophia Antipolis Cedex Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105-78153 Le Chesnay Cedex (France) tt r r ISSN 0249-6399