De conformidad con el Artículo 45 TFEU, ¿cuál de las siguientes opciones describe correctamente una condición procedimental específica que se adjunta al derecho de los trabajadores a permanecer en un Estado miembro después de haber sido empleados allí?