class Visiteur{
 
...
/*
*
* True si lv est présent au même moment 
* que le visiteur courant
*
*
*/
public boolean void estPrésent( Visiteur lv ){
  LocalTime heureEntréeLV = lv.getHeureEntrée();
  LocalTile heureSortieLV = lv.getHeureSortie();
 
 
  // heureEntréeLV E [heureEntrée:heureSortie]
 
 
  if ( heureEntréeLV.compareTo(heureEntrée) >= 0 &
       ( heureSortie == null || heureEntréeLV.compareTo(heureSortie) <= 0 )
         return true;
  }
 
  // heureSortie E [heureEntrée:heureSortie]
     if ( (heureentréeLV.compareTo(heureEntrée) < 0 ) &
        ( heureSortieLV == null || heureSortieLV.compareTo(heureEntrée ) > 0 )) {
         return true;
  }
 
  return false;
 
}
 
 
 
}