RIP morreu José Vilhena. Já deve estar a fazer caricaturas no céu.