[SQLite] Change a TABLE name

I found the syntax to rename a TABLE here: SQL Alter Table

The example there is:

ALTER TABLE travel_requests RENAME TO requests;

I fired a db inspector (home made) and it appeared the error message was right (for some reason): the TABLE name wal already used !
SO, I made another copy of the sqlite file and apply the change there: it worked fine.

For the record, the syntax above works fine !

Sqlite.org and look at the Alter Table syntax which they have enhanced in recent years.