shift_possible(Shift,Horaire) :-
                                              Shift = [Personne,Jour,DebutShift,FinShift],
                                              %TODO: restreindre le domaine en fonction de Horaire
                                              setof(P,personne(P),Personnes),
                                              setof(J,jour(J),Jours),

                                              % assigner les domaines
                                              Personne ins Personnes,
                                              Jour ins Jours,
                                              DebutShift ins 0..23,   %TODO: reduire
                                              FinShift   ins 0..23,   %TODO: reduire

                                              personne(Personne),jour(Jour),
                                              disponible(Personne,Jour,DebutDispo,FinDispo),
                                              heures_ouverture(Jour,Ouverture,Fermeture),
                                              %between(DebutDispo,FinDispo,DebutShift),
                                              %between(DebutDispo,FinDispo,FinShift),

                                              DebutShift #>= DebutDispo,
                                              DebutShift #< FinDispo,
                                              FinShift #> DebutDispo,
                                              FinShift #>= FinDispo,
                                              DebutShift #>= Ouverture,
                                              FinShift #=< Fermeture,
                                              FinShift #> DebutShift,
                                              label(Shift).