DEVAUX Claude Joseph Eugène ( 1828 - ? )