Méthode exacte pour l’ordonnancement dans un atelier job shop