hacerse efectiva mediante el procedimiento de ejecución de sentencias.