Talk given to the Inria WIDE research group