Le Z est au carré, car c'est le couple (k,k'). Vu que tu fais les trucs de Bezout en arithmétique, t'es en terminale, non ?
Eh ben, un ensemble s'écrit en accolades, et ce que j'ai écrit se dirait en français :
L'ensemble des solutions de l'équation sont les couples (k,k') d'entiers relatifs vérifiant telle ou telle condition.