Portrait d'un homme au manteau rouge (1680)