Hartig Antoine , infant af Spanien ,var