Programmation linéaire en nombres entiers et propagation de contraintes pour le problème d’ordonnancement à contrainte énergétique