Dicho relato se conoce hoy como el "Martirio colbertino".