" K ouvert de R x~y ssi "