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