function pourIE() {
		//_____________________________________________________________
		// Merci pour cette idée, qui est une adaptation d'une routine
		// du très excellent PhpMyAdmin.
		//_____________________________________________________________
    // for every image ...
    var rows = document.getElementsByTagName('input');
		    
    for ( var i = 0; i < rows.length; i++ ) {    		
        // ... with the class 'bouton'
        if ( 'ok' != rows[i].className.substr(0,2) ) {        	
            continue;
        }
        // ... add event listeners ...
        // ... to highlight the img on mouseover ...
        if ( navigator.appName == 'Microsoft Internet Explorer' ) {
            // but only for IE, other browsers are handled by :hover in css                        
						rows[i].onmouseover = function() {     							      		
                this.className += ' hover'; 																             
            }
            rows[i].onmouseout = function() {
                this.className = this.className.replace( ' hover', '' );
            }
        }      
    }
}
window.onload = pourIE;