Étude constructive de problèmes de topologie pour les réels irrationnels. - Mohamed Khalouani; Salah Labhalla; Henri Lombardi (Math. Log. Q., 1999)