le $Kas est-il toujours valide ?