Keywords

Researcher identifiers

Co-authors

Number of documents

84

Jean-Philippe Tarel, Researcher, IFSTTAR


Graduate from the engineering school named Ecole Nationale des Ponts and Chaussées (Ecole des Ponts ParisTech) in 1991, PhD in Applied Mathematics from Paris IX-Dauphine University in 1996, he was in the Institut National de la Recherche en Informatique et Automatique (INRIA ) from 1991 to 1996 and then from 2001 to 2003. From 1997 to 1998, he was a postdoctoral fellow at Brown University, USA. Since 1999, he is interested in image processing, computer vision and object recognition from on-road and on-vehicle cameras, whatever are the weather conditions.


Journal articles20 documents

  • Florence Sagnard, Jean Philippe Tarel. Template-matching based detection of hyperbolas in ground-penetrating radargrams for buried utilities. Journal of Geophysics and Engineering, IOP Publishing, 2016, 13 (4), pp.491-504. ⟨10.1088/1742-2132/13/4/491⟩. ⟨hal-01524475⟩
  • Laurent Caraffa, Jean Philippe Tarel, Pierre Charbonnier. The Guided Bilateral Filter: When the Joint/Cross Bilateral Filter Becomes Robust. IEEE Transactions on Image Processing, 2015, 24 (4), pp 1199-1208. ⟨10.1109/TIP.2015.2389617⟩. ⟨hal-01215837⟩
  • Laurent Caraffa, Jean Philippe Tarel. Combining Stereo and Atmospheric Veil Depth Cues for 3D Reconstruction. IPSJ Transactions on Computer Vision and Applications, 2014, 6 (2), pp. 1-11. ⟨10.2197/ipsjtcva.6.1⟩. ⟨hal-01051487⟩
  • Nicolas Hautiere, Jean Philippe Tarel, Houssam Halmaoui, Roland Bremond, Didier Aubert. Enhanced Fog Detection and Free Space Segmentation for Car Navigation. Machine Vision and Applications, Springer Verlag, 2014, 25 (3), pp 667-679. ⟨10.1007/s00138-011-0383-3⟩. ⟨hal-00904343⟩
  • Jean-Philippe Tarel, Nicolas Hautière, Laurent Caraffa, Aurélien Cord, Houssam Halmaoui, et al.. Vision Enhancement in Homogeneous and Heterogeneous Fog. IEEE Intelligent Transportation Systems Magazine, IEEE, 2012, Vision in inclement weather, 4 (2), pp.6-20. ⟨10.1109/MITS.2012.2189969⟩. ⟨hal-00707039⟩
  • Jérémie Bossu, Nicolas Hautiere, Jean Philippe Tarel. Rain or Snow Detection in Image Sequences through use of a Histogram of Orientation of Streaks. International Journal of Computer Vision, Springer Verlag, 2011, 93 (3), pp. 348-367. ⟨10.1007/s11263-011-0421-7⟩. ⟨hal-00903543⟩
  • Rachid Belaroussi, Jean Philippe Tarel. Détection des panneaux de signalisation routière par accumulation bivariée. Traitement du Signal, Lavoisier, 2010, 27 (3), pp 265-296. ⟨10.3166/ts.27.265-296⟩. ⟨hal-00594245⟩
  • Nicolas Hautiere, Jean Philippe Tarel, Didier Aubert. Mitigation of Visibility Loss for Advanced Camera based Driver Assistances. IEEE Transactions on Intelligent Transportation Systems, IEEE, 2010, 11 (2), pp 474-484. ⟨hal-00549857⟩
  • Jean Philippe Tarel, Pierre Charbonnier. A Lagrangian Half-Quadratic Approach to Robust Estimation and its Applications to Road Scene Analysis. Pattern Recognition Letters, Elsevier, 2010, 31 (14), pp 2192-2200. ⟨hal-00594255⟩
  • Roland Bremond, Jean Philippe Tarel, Eric Dumond, Nicolas Hautiere. Vision models for image quality assessment : one is not enough. Journal of Electronic Imaging, SPIE and IS&T, 2010, 19 (4), ⟨10.1117/1.3495989⟩. ⟨hal-00594100⟩
  • Josselin Petit, Roland Bremond, Jean Philippe Tarel. Une carte de saillance adaptée aux images HDR. Revue Electronique Francophone d'Informatique Graphique, Association Française d'Informatique Graphique, 2009, 3 (2). ⟨hal-00435946⟩
  • Jean Philippe Tarel, Pierre Charbonnier, Sio Song Ieng. A Revisited Half-Quadratic Approach for Simultaneous Robust Fitting of Multiple Curves. Computer vision and Computer Graphics, revised selected papers of visigrapp'07, 2009, pp 121-133. ⟨hal-00436287⟩
  • Nicolas Hautiere, Jean Philippe Tarel, Didier Aubert, Erik Dumont. Blind Contrast Enhancement Assessment by Gradient Ratioing at Visible Edges. Image Analysis and Stereology Journal, 2008, 27 (2), pp 87-95. ⟨hal-00402399⟩
  • Pierre Charbonnier, Valérie Muzet, Philippe Nicolle, Nicolas Hautiere, Jean Philippe Tarel, et al.. La stéréovision appliquée à l'analyse de scènes routières. Bulletin des Laboratoires des Ponts et Chaussées, 2008, pp 57-73. ⟨hal-00362952⟩
  • Jean Philippe Tarel, Sio Song Ieng, Pierre Charbonnier. A Constrained-Optimization based Half-Quadratic Algorithm for Robustly Fitting Sets of Linearly Parametrized Curves. Advances in Data Analysis and Classification, Springer Verlag, 2008, 2 (3), pp 227-239. ⟨hal-00402846⟩
  • Michel Crucianu, Daniel Estevez, Vincent Oria, Jean Philippe Tarel. Speeding up active relevance feedback with approximate kNN retrieval for hyperplane queries. International Journal of Imaging Systems and Technology, Wiley, 2008, 18 (2-3), pp 150-159. ⟨hal-00402822⟩
  • Michel Crucianu, Jean Philippe Tarel, Marin Ferecatu. An exploration of diversified user strategies for image retrieval with relevance feedback. Journal of Visual Languages and Computing, Elsevier, 2008, 19 (6), pp 629-636. ⟨hal-00402978⟩
  • Pierre Charbonnier, Valérie Muzet, Philippe Nicolle, Nicolas Hautiere, Jean-Philippe Tarel, et al.. La stéréovision appliquée à l'analyse de scènes routières. Bulletin des Laboratoires des Ponts et Chaussées, 2008, p57-74. ⟨hal-00542303⟩
  • Shubao Liu, Kongbin Kang, Jean Philippe Tarel, David B Cooper. Free-form Object Reconstruction from Silhouettes, Occluding Edges and Texture Edges : A Unified and Robust Operator based on Duality. IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2008, 30 (1), pp 131-146. ⟨hal-00402887⟩
  • Nicolas Hautiere, Didier Aubert, Erik Dumont, Jean Philippe Tarel. Experimental validation of dedicated methods to in-vehicle estimation of atmospheric visibility distance. IEEE Transactions on Instrumentation and Measurement, Institute of Electrical and Electronics Engineers, 2008, 57 (10), pp 2218-2225. ⟨hal-00402806⟩

Conference papers52 documents

  • Mathias Paget, Jean-Philippe Tarel, Pascal Monasse. Contrôle de la direction privilégiée dans deux variantes de la méthode de reconstruction stéréoscopique SGM. RFIAP, Jun 2018, Marne-la-Vallée, France. ⟨hal-01822857⟩
  • Mathias Paget, Jean Philippe Tarel, Pascal Monasse. Stereo Ambiguity Index for Semi-Global Matching. ICIP'17, IEEE International Conference on Image Processing, Sep 2017, PEKIN, China. 5p. ⟨hal-01592680⟩
  • Nicolas Pinchon, M Ibn-Khedher, Olivier Cassignol, A Nicolas, Frédéric Bernardin, et al.. All-weather vision for automotive safety: which spectral band?. SIA Vision 2016 - International Conference Night Drive Tests and Exhibition, Oct 2016, Paris, France. 7p. ⟨hal-01406023⟩
  • Florian Greffier, Pierre Charbonnier, Jean-Philippe Tarel, Vincent Boucher, Fabrice Fournela. An automatic system for measuring road and tunnel lighting performance. CIE 2015 - International Conference of the 28th session of the CIE, Jun 2015, MANCHESTER, France. pp 1647-1656. ⟨hal-01215842⟩
  • Florence Sagnard, Jean-Philippe Tarel. Semi-automatic template matching based extraction of hyperbolic signatures in ground-penetrating radar images. European Geosciences Union General Assembly, Apr 2015, VIENNE, Austria. 1p. ⟨hal-01215844⟩
  • Mathias Paget, Jean-Philippe Tarel, Laurent Caraffa. Extending alpha-expansion to a larger set of regularization functions. IEEE International Conference on Image Processing, Sep 2015, QUEBEC, Canada. 5p. ⟨hal-01215838⟩
  • Allou Same, Jean-Philippe Tarel, Nadir Saidi. Un modèle de mélange pour la segmentation de données spatiales. 47èmes Journées de Statistique de la SFdS, Jun 2015, LILLE, France. 6p. ⟨hal-01215849⟩
  • Sheng-Kui Dai, Jean Philippe Tarel. Adaptive sky detection and preservation in dehazing algorithm. ISPACS'15 - IEEE International Symposium on Intelligent Signal Processing and Communication Systems, Nov 2015, BALI, France. 6p. ⟨hal-01214606⟩
  • Jean Philippe Tarel, Roland Bremond, Eric Dumont, Karine Joulan. Comparison between optical and computer vision estimates of visibility in daytime fog. CIE 2015 - International Conference of the 28th session, Jun 2015, MANCHESTER, France. pp 610-617. ⟨hal-01215183⟩
  • Elias Tebchrany, Florence Sagnard, Vincent Baltazart, Jean Philippe Tarel. Data processing of ground-penetrating radar signals for the detection of discontinuities using polarization diversity. European Geoscience Union General Assembly 2014, Apr 2014, Austria. 1p. ⟨hal-01054576⟩
  • Elias Tebchrany, Florence Sagnard, Vincent Baltazart, Jean Philippe Tarel, Xavier Derobert. Assessment of statistical-based clutter reduction techniques on ground-coupled GPR data for the detection of buried objects in soils. GPR 2014 - 15th International Conference on Ground Penetrating Radar, Jun 2014, Belgium. 7p. ⟨hal-01053910⟩
  • Laurent Caraffa, Jean Philippe Tarel. Daytime Fog Detection and Density Estimation with Entropy Minimisation. ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Sep 2014, Switzerland. pp 25-31. ⟨hal-01068534⟩
  • Didier Aubert, Vincent Boucher, Roland Bremond, Pierre Charbonnier, Aurélien Cord, et al.. Digital imaging for assessing and improving highway visibility. TRA - Transportation Research Arena, Apr 2014, Paris, France. 10 p. ⟨hal-00982231⟩
  • Roland Bremond, Jean Michel Auberlet, Viola Cavallo, Lara Désiré, Vérane Faure, et al.. Where we look when we drive: A multidisciplinary approach. TRA - Transport Research Arena, Apr 2014, Paris, France. 10p. ⟨hal-01044746⟩
  • Laurent Caraffa, Jean Philippe Tarel. Markov Random Field Model for Single Image Defogging. IEEE Intelligent Vehicle Symposium, Jun 2013, Australia. pp 994-999. ⟨hal-00852870⟩
  • Jean Philippe Tarel, Pierre Charbonnier, Francois Goulette, Jean-Emmanuel Deschaud. 3D Road Environment Modeling Applied to Visibility Mapping: an Experimental Comparison. DS-RT International Symposium on Distributed Simulation and Real Time Applications, IEEE/ACM, Oct 2012, Dublin, Ireland. ⟨hal-01259342⟩
  • Laurent Caraffa, Jean Philippe Tarel. Stereo Reconstruction and Contrast Restoration in Daytime Fog. Asian Conference on Computer Vision, Nov 2012, France. pp 13-25. ⟨hal-00852835⟩
  • Jean Philippe Tarel, Pierre Charbonnier, François Goulette, Jean-Emmanuel Deschaud. 3D Road Environment Modeling Applied to Visibility Mapping: an Experimental Comparison. IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, Oct 2012, France. pp 19-26. ⟨hal-00852783⟩
  • Jean Philippe Tarel, Rachid Belaroussi. Robust 2D Location of Interest Points by Accumulation. IEEE International Conference on Image Processing (ICIP 2012), Sep 2012, France. 4p. ⟨hal-00878665⟩
  • Laurent Caraffa, Jean Philippe Tarel, Pierre Charbonnier. Filtrage bilatéral guidé des images. Journée des doctorants SPI-STIC de l'IFSTTAR, Jun 2012, France. 6p. ⟨hal-00881503⟩
  • Rachid Belaroussi, Jean Philippe Tarel, Nicolas Hautiere. Vehicle Attitude Estimation in Adverse Weather Conditions using a Camera, a GPS and a 3D road Map. IV'11 - IEEE Intelligent Vehicles Symposium, Jun 2011, Germany. 6p. ⟨hal-00876962⟩
  • Evangeline Pollard, Dominique Gruyer, Jean Philippe Tarel, Sio Song Ieng, Aurélien Cord. Lane Marking Extraction with Combination Strategy and Comparative Evaluation on Synthetic and Camera Images. ITSC'2011 - IEEE Conference on Intelligent Transportation Systems, Oct 2011, France. 6p. ⟨hal-00875915⟩
  • Philippe Foucher, Yazid Sebsadji, Jean Philippe Tarel, Pierre Charbonnier, Philippe Nicolle. Detection and recognition of urban road markings using images. IEEE International Conference on Intelligent Transportation systems, Oct 2011, France. pp 1747-1752. ⟨hal-00850783⟩
  • Pierre Charbonnier, Jean Philippe Tarel, Francois Goulette. On the Diagnostic of Road Pathway Visibility. Transport Research Arena Europe, Jun 2010, Bruxelles, Belgium. ⟨hal-01259358⟩
  • Rachid Belaroussi, Jean Philippe Tarel. Modèle géométrique du sommet et de la bissectrice d'un angle pour la détection de panneaux triangulaires. Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, France. pp 757-764, 2010. 〈hal-00549865〉
  • Jean Philippe Tarel, Nicolas Hautiere, Aurélien Cord, Dominique Gruyer, Houssam Halmaoui. Improved Visibility of Road Scene Images under Heterogeneous Fog. IEEE Intelligent Vehicle Symposium (IV'2010), Jun 2010, France. 2010. 〈hal-00549859〉
  • Pierre Charbonnier, Jean Philippe Tarel, François Goulette. On the Diagnostic of Road Pathway Visibility. Transport Research Arena Europe 2010 (TRA'10), Jun 2010, France. 2010. 〈hal-00549868〉
  • Ludovic Simon, Jean Philippe Tarel, Roland Bremond. A Model for Automatic Diagnostic of Road Signs Saliency. Transport Research Arena Europe 2010 (TRA'10), Jun 2010, France. 2010. 〈hal-00549867〉
  • Jean Philippe Tarel, Pierre Charbonnier. Nouvelles approches en diagnostic de la visibilité géométrique routière. PRAC 2010, May 2010, France. 10p. ⟨hal-00560587⟩
  • Roland Bremond, Josselin Petit, Jean Philippe Tarel. Saliency Maps of High Dynamic Range Images. Media Retargeting Workshop in conjunction with ECCV'10, Sep 2010, France. 12p. ⟨hal-00560594⟩
  • Philippe Foucher, Jean Philippe Tarel, Bahman Soheilian, Pierre Charbonnier, Nicolas Paparoditis, et al.. Road Sign Detection in Images : A Case Study. ICPR'10, Aug 2010, France. pp 484-488. ⟨hal-00560488⟩
  • Yazid Sebsadji, Jean Philippe Tarel, Philippe Foucher, Pierre Charbonnier. Robust Road Marking Extraction in Urban Environments Using Stereo Images. IEEE Intelligent Vehicle Symposium (IV'2010), Jun 2010, France. pp 394-400. ⟨hal-00549861⟩
  • Pierre Charbonnier, Jean-Philippe Tarel, Francois Goulette. On the Diagnostic of Road Pathway Visibility. Transport Research Arena Europe, 2010, Bruxelles, France. ⟨hal-01259681⟩
  • Nicolas Hautiere, Jean Philippe Tarel, Didier Aubert. Free Space Detection for Autonomous Navigation in Daytime Foggy Weather. IAPR Conference on Machine Vision Applications (MVA'09), May 2009, France. 4p. ⟨hal-00402931⟩
  • Jean Philippe Tarel. Long-Range Road Detection for Off-line Scene Analysis. IV' 2009 - IEEE Intelligent Vehicle Symposium, Jun 2009, XIAN, China. pp 15-20. ⟨hal-01220979⟩
  • Jérôme Ninot, Jean Philippe Tarel, Thomas Gavrilovic, Laurent Smadja, Kevin Heggarty. Amélioration de la reconnaissance des marquages routiers par l'optimisation d'algorithmes d'extraction. Colloque COGIST'09, Jun 2009, St Quay Portrieux, France. ⟨hal-00435943⟩
  • Ludovic Simon, Jean Philippe Tarel, Roland Bremond. Alerting the Drivers about Road Signs with Poor Visual Saliency. IEEE Intelligent Vehicle Symposium (IV'2009), Jun 2009, France. pp 48-53. ⟨hal-00435949⟩
  • Jérémie Bossu, Nicolas Hautiere, Jean Philippe Tarel. Utilisation d'un modèle probabiliste d'orientation de segments pour détecter des hydrométéores dans des séquences vidéo. colloque GRETSI'09, Sep 2009, France. ⟨hal-00435923⟩
  • Jean Philippe Tarel, Nicolas Hautiere. Fast Visibility Restoration from a Single Color or Gray Level Image. IEEE International Conference on Computer Vision (ICCV'09), Sep 2009, France. pp 2201-2208. ⟨hal-00435982⟩
  • Shubao Liu, Kongbin Kang, Jean Philippe Tarel, David B Cooper. Distributed Volumetric Scene Geometry Reconstruction With a Network of Distributed Smart Cameras. IEEE Conference on Computer Vision and Pattern Recognition (CVPR'09), Jun 2009, France. pp 2334-2341. ⟨hal-00435978⟩
  • Rachid Belaroussi, Jean Philippe Tarel. A Real-Time Road Sign Detection Using Bilateral Chinese Transform. IEEE International Symposium on Visual Computing (ISVC'09), Nov 2009, France. pp 1161-1170. ⟨hal-00436256⟩
  • Rachid Belaroussi, Jean Philippe Tarel. Angle Vertex and Bisector Geometric Model for Triangular Road Sign Detection. IEEE Workshop on Applications of Computer Vision (WACV'09), Dec 2009, France. ⟨hal-00436282⟩
  • Josselin Petit, Roland Bremond, Jean Philippe Tarel. Une carte de saillance adaptée aux images HDR. Journées de l'Association Française d'Informatique Graphique (AFIG'08), Nov 2008, France. pp 95-103. ⟨hal-00402936⟩
  • Thomas Veit, Jean Philippe Tarel, Philippe Nicolle, Pierre Charbonnier. Evaluation of Road Marking Feature Extraction. 11th IEEE Conference on Intelligent Transportation Systems (ITSC'08), Oct 2008, France. pp 174-181. ⟨hal-00402945⟩
  • Ludovic Simon, Jean Philippe Tarel, Roland Bremond. Towards the Estimation of Conspicuity with Visual Priors. International Conference on Computer Vision Theory and Applications (VISAPP'08), Jan 2008, France. pp 323-328. ⟨hal-00402962⟩
  • Jean Philippe Tarel, Sio Song Ieng, Pierre Charbonnier. On Robust Fitting of Curves and Sets of Curves. Proceedings of International Conference on Non Convex Programming (NCP'07), Dec 2007, France. ⟨hal-00399885⟩
  • Michel Crucianu, Daniel Estevez, Vincent Oria, Jean-Philippe Tarel. Recherche approximative des kppv pour des requêtes hyperplans, avec application au contrôle de pertinence actif. BDA'07 : 23?mes Journ?es Bases de Donn?es Avanc?es, Marseille, Jan 2007, X, France. pp.75-88. ⟨hal-01125340⟩
  • Michel Crucianu, Daniel Estevez, Vincent Oria, Jean Philippe Tarel. Hyperplane queries in a feature-space M-tree for speeding up active learning. 23èmes Journées Bases de Données Avancées (BDA'07), Oct 2007, France. 12p. ⟨hal-00419592⟩
  • Jean-Philippe Tarel, Sio-Song Ieng, Pierre Charbonnier. Using Robust Estimation Algorithms for Tracking Explicit Curves. European Conference on Computer Vision (ECCV'02), May 2002, Copenhagen, Denmark. pp.492-507, ⟨10.1007/3-540-47969-4_33⟩. ⟨inria-00000851⟩
  • Ana Paula Leitao, Sorin Tilie, Morgan Mangeas, Jean-Philippe Tarel, Vincent Vigneron, et al.. Road Singularities Detection and Classification. 11th European Symposium on Artificial Neural Networks, Apr 2001, Bruges, Belgium. 6 p. ⟨hal-00147407⟩
  • Pierre Jancène, Christophe Meilhac, Fabrice Neyret, Xavier Provot, Jean-Philippe Tarel, et al.. Réalité Enrichie par Synthèse. RFIA'96 : 10ème congrès AFCET, Reconnaissance des Formes et Intelligence Artificielle, Jan 1996, Rennes, France. pp.923-931. ⟨inria-00588889v2⟩
  • Pierre Jancène, Fabrice Neyret, Xavier Provot, Jean-Philippe Tarel, Jean-Marc Vézien, et al.. RES: computing the interactions between real and virtual objects in video sequences. Networked realities'95, Oct 1995, Boston, United States. ⟨inria-00588887v2⟩

Books3 documents

  • Nicolas Hautiere, Rachid Belaroussi, Jean Philippe Tarel. Assistance à la navigation automobile par temps de brouillard, In Projet DIVAS. HERMES-LAVOISIER, pp 267-282, 2010. ⟨hal-00594309⟩
  • Nicolas Hautiere, Raphael Labayrade, Clément Boussard, Jean Philippe Tarel, Didier Aubert. Perception through Scattering Media for Autonomous Vehicles in Autonomous Robots Research Advances. NOVA SCIENCE PUBLISHERS, 46p, 2008. ⟨hal-00402834⟩
  • Pierre Charbonnier, Jean Philippe Tarel, Sio Song Ieng. Théorie semi-quadratique, régularisation et estimation robuste. In : Problèmes inverses en génie civil. LABORATOIRE CENTRAL DES PONTS ET CHAUSSEES (LCPC), pp 143-165, 2008. ⟨hal-00435944⟩

Other publications2 documents

  • Ludovic Simon, Jean Philippe Tarel, Roland Bremond. A computational model of visual search saliency for road signs diagnostic. 2009, 1p. ⟨hal-00435981⟩
  • Josselin Petit, Roland Bremond, Jean Philippe Tarel. Saliency Maps of High Dynamic Range Images. 2009, 1p. ⟨hal-00436252⟩

Reports7 documents

  • Jean-Philippe Tarel, Jean-Marc Vezien. Camcal v1.0 Manual A Complete Software Solution for Camera Calibration. [Technical Report] RT-0196, INRIA. 1996, pp.19. ⟨inria-00069975⟩
  • Jean-Philippe Tarel. Recalage géométrique avec plusieurs prototypes. [Rapport de recherche] RR-2988, INRIA. 1996, pp.62. ⟨inria-00073710⟩
  • Jean-Philippe Tarel. Reconstruction globale et robuste de facettes 3D. [Rapport de recherche] RR-2813, INRIA. 1996, pp.38. ⟨inria-00073879⟩
  • Jean-Marc Vezien, Jean-Philippe Tarel. A Generic Approach for Planar Patches Stereo Reconstruction. [Research Report] RR-2507, INRIA. 1995, pp.25. ⟨inria-00074171⟩
  • Jean-Philippe Tarel. Calibration Radiométrique de Caméra. [Rapport de recherche] RR-2509, INRIA. 1995, pp.20. ⟨inria-00074169⟩
  • Jean-Philippe Tarel, Nozha Boujemaa. Une approche floue du recalage 3D : généricité et robustesse. [Rapport de recherche] RR-2716, INRIA. 1995, pp.31. ⟨inria-00073976⟩
  • Jean-Philippe Tarel. Calibration de camera fondée sur les ellipses. [Rapport de recherche] RR-2200, INRIA. 1994, pp.30. ⟨inria-00074471⟩