Recherche

Une recherche sur plusieurs mots ne retourne que les résultats contenant tous les mots.

Note also that you can also call "search_src(...)" in Sage to search Sage's source code.