// JavaScript Document
function disable() {
	if(document.domaine.allext.checked === true) 
		document.domaine.extensions.disabled = true;
	else 
		document.domaine.extensions.disabled = false;
}