Cosimo III, Grand-Duke of Tuscany, 1642-1723