1. Mélanger 15 ml (1 c. à soupe) d'huile avec l'ail, la coriandre et la sauce Tabasco(r). En frotter les filets de porc. Si désiré, laisser les saveurs s'imprégner au froid pendant 2 heures.
3. Griller à chaleur moyenne sur le barbecue, sous le gril du four ou dans un poêlon-gril pendant environ 12 à 18 minutes. A mi-cuisson, retourner à l'aide de pinces. Saler au goût et laisser reposer pendant 2 à 3 minutes avant de découper.
4. Servir des tranches fines de filet sur la laitue garnie d'avocat et de mangue. Arroser du reste de l'huile et du jus de lime. Assaisonner au goût.
