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