function highlightKW( id ){
                if( document.getElementById('art_' + id) )
                        document.getElementById('art_' + id).className = 'BlocH';
        }

        function lowlightKW( id ){
                if( document.getElementById('art_' + id) )
                        document.getElementById('art_' + id).className = 'Bloc';
        }