minimal and functional

OK for what I was searching for: obtaining the line code to insert into my existing .htaccess file to redirect URL if a Permalink change was applied from %postname% to /%post_id%/ (the contrary is autmatically managed by WP).
You find its settings under Tools > .htaccess Redirect
Thanks!