Cours de géologie appliquée professé à l\'École supérieure des mines