La première syntaxe est redondante - le WITH CHECK est la valeur par défaut pour les nouvelles contraintes, et la contrainte est également activée par défaut.
Cette syntaxe est générée par le studio de gestion SQL lors de la génération de scripts sql - je suppose qu'il s'agit d'une sorte de redondance supplémentaire, éventuellement pour garantir que la contrainte est activée même si le comportement de contrainte par défaut pour une table est modifié.
