Localisation et suivi garantis d'un robot par analyse par intervalles