La batalla de Chotusitz (17 de mayo de 1742)