Portrait d'un homme au manteau rouge (1772)