géométrie hyperbolique : demi-plan de Poincaré