autant faire directement un !=