<t>Juste pour tous ceux qui atterrissent sur cette page depuis Google ou ailleurs, cette réponse est probablement la meilleure de toutes.<br/>
<br/>
En résumé, appuyez simplement sur :<br/>
<br/>
CTRL + ,<br/>
<br/>
Et commencez à taper le nom du fichier.</t>