Qui se servait encore des marque page dynamiques. Je les avais un peu oubliés. Mais ça me semble cavalier de la part de mozilla