décidabiliser (V) — décidable (A)
décidabiliser : Donner un caractère décidable à.