purtroppo non sono riuscito a fare il suggerimento di postmaster1.
invece, dove potrei trovare un programma che mi dice con che codec è stato fatto?

non trovo nulla del genere.
adesso comuqnue provo a scaricare quicktime alternative.

grazie mille a tutti!