Ciao Alhazred, grazie della risposta.
Ho dato un'occhiata alla documentazione, e l'unica cosa che ho potuto notare è che strtotime() legge le date in formato americano, quindi prima mese e poi giorno. È questo il punto? Quindi per risolvere dovrei fare
$ex=date ('m/d/y', $ex), cioè invertendo 'd' ed 'm'?
Se lo faccio funziona, la data stampata è quella voluta, però in realtà già ci avevo provato e poi mi dava problemi se lo andavo a convertire in formato unix, in particolare ottenevo un numero molto lontano da quello corrispondente al 3 maggio.