precédenteur