[Pierre Coste correspondence]