O. Extensions [inria