Décidable (adj.)