Books by Ernest Favenc (1846-1908)