Ciao Sgurbat, purtroppo nessuna delle due soluzioni che hai proposto va bene (ma grazie lo stesso!): la pop-up decisamente no, perchè il sito è tutto in una unica finestra e non ho intenzione di usare javascript per una funzione chiave; il ricaricamento della pagina nemmeno, perchè quella pagina oltre a inserire dati nel database visualizza l'output relativo alla stringa inserita, e se faccio un reload evito sì il doppio inserimento, ma mi sparisce pure tutto il resto dell'output a video (che dipende da $_POST).

Oltretutto, header() non funziona solo se è la prima riga di uno script?

Va bene, qualcuno ha da proporre un'altra soluzione?