Décès à 94 ans de Peter Thomas, compositeur du générique de Derrick