Quindi non esiste una funzione php che converta i caratteri direttamente......

Peccato e grazie per la risposta.