Consultation par type de publication - Méthodes formelles pour la bio-informatique