Grazie, questa mi mancava.
Sono quelle cose utili da sapere nel momento del bisogno.