Modification egalement du fichier index.html, comme explorerjs.html

index.html

@@ -306,11 +306,26 @@
 
             <!-- checkbox -->
             <li class="navbar-lower">
+              <table id="search_table">
+                <tr><td>
+                  &nbsp;
                   <input id="checkboxdiv" onclick="alertCheckBox(this);"
                         title="Add next search results to current selection"
                         class="nav btn btn-info"
                         type="checkbox">
-              <span style="position: relative; top: 4px;">Add to selection</span>
+                  <!--span style="position: relative; top: 4px;">Add to selection</span-->
+                  <span>Add to selection</span>
+                </td></tr>
+                <tr><td>
+                  &nbsp;
+                  <input type="radio" id="orop" name="search_operator" value="or"
+                          checked>
+                  <label for="orop">OR&nbsp;&nbsp;</label>
+                  <input type="radio" id="andop" name="search_operator" value="and"
+                          unchecked>
+                  <label for="andop">AND</label>
+               </td></tr>
+          </table>
         </li>
 
           </ul>