/**
 * Supprime le div nommé overlay
 */
function hideOverlay() {
	$('overlay').destroy();
}