Doit-on dire un ou une infra-embranchement ?