On the extension of Whitney ultrajets
We prove necessary and sufficient conditions for the validity of Whitney's extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity.