javadoc de PlageHoraire