Bonsoir � tous,

Avec cette architecture de faite, je m'attaque aux deux derni�res architectures d�j� commenc�es, ppc et hurd.

Merci pour vos relectures, Thomas. #use wml::debian::template title="Portage pour MIPS - Microprocesseurs" NOHEADER="yes" #include "$(ENGLISHDIR)/ports/mips/menu.inc" #use wml::debian::translation-check translation="1.16" maintainer="Thomas Marteau"

Vue d'ensemble de la gamme des microprocesseurs

#include "$(ENGLISHDIR)/ports/mips/cpu.data"

Microprocesseurs inconnus

J'aimerais des informations sur les microprocesseurs suivants et des informations pour compl�ter ou corriger la liste ci-dessous.

Ressources

#use wml::debian::template title="Portage pour MIPS" NOHEADER="yes" #include "$(ENGLISHDIR)/ports/mips/menu.inc" #use wml::debian::translation-check translation="1.77" maintainer="Thomas Marteau"

Debian-mips et debian-mipsel

mips ET mipsel ?

Le portage pour MIPS est constitu� par deux portages dans les faits, � debian-mips � et � debian-mipsel �. Il diff�re sur le boutisme des octets (endianness) des binaires (NdT: Les microporcesseurs peuvent lire de gauche � droite ou inversement). Les microprocesseurs MIPS ont la possibilit� de fonctionner dans les deux sens mais vu qu'on ne peut pas modifier ce param�tre de mani�re logicielle, nous devons avoir un portage pour chaque type. Les machines SGI (SGI Indy et Indigo2) fonctionnent en grand boutiste (big-endian) et doivent utiliser debian-mips. Les Decstations de Digital fonctionnent en petit boutiste (little-endian) et doivent utiliser debian-mipsel.

Probl�mes connus

  • Les descriptifs de clavier pour XFree 4 ne sont pas op�rationnels pour les Decstations ;
  • Les microprocesseurs R4600 ont l'air d'avoir un bogue qui cause des erreurs de segmentation dans perl. Il semble que export LD_BIND_NOW=1 r�sout ce probl�me ;
  • R4600 V1.7 ne fonctionne pas en l'�tat. Il peut planter al�atoirement ;
  • O2 R10000 n'est pas support� ;
  • O2 R5000 - EXP�RIMENTAL sans framebuffer ;
  • Indigo 2 R8000/R10000 n'est pas support� ;
  • Indigo 2 framebuffer n'est pas support� ;
  • Challenge S extra Ethernet/SCSI (p�riph�rique GIO64) n'est pas support� ;
  • Les attachements EISA dans les Indigo 2 ne sont pas op�rationnels ;
  • Les Decstations R3000 plantent avec le noyau issu du CVS actuel pour le moment.

Probl�mes connus (et r�solus)

  • Plantage rapide sur les Indigo2 si Framebuffer/Newport est activ� ;
  • XFree XShm ne fonctionne pas - Le codage des pixels se corrompt - Correctif inscrit dans le CVS ;
  • sleep peut ne pas se r�veiller parfois - Strace montre un sommeil de 22 ann�es - Il semble que ce soit librt/fpu le fautif - Ce probl�me n'est pas reparu depuis quelques mois. Il semble que ce soit corrig� avec un noyau 2.4.17 et la glibc 2.2.5-3 ;
  • update-menus l�ve une exception SIGBUS - Le fautif est la gestion des exceptions en C++ - Un lien statique permet de r�soudre ce probl�me ;
  • Les disquettes de d�marrage 3.0.22 qui seront distribu�es avec Woody nomment incorrectement le noyau dans l'en-t�te du volume. Son nom est � linux.bi � et non pas simplement � linux � - Tentez d'utiliser arcboot qui est la prochaine g�n�ration de chargeur de noyau pour les machines SGI mais soyez prudent - Vous devez installer une image r�cente de noyau qui g�re le ELF. Woody sera distribu�e avec 3.0.23.

Machines publiques

  • pongo.verwaltung.uni-mainz.de.
    Une Indy de SGI - R4000SC 256MB RAM.
     ;
  • remake.rfc822.org
    Une Masquerade Pro donn�e par Lasat. Un [EMAIL PROTECTED] little endian fonctionnant sous debian-mipsel et abritant l'empaqueteur.
     ;
  • repeat.rfc822.org
    Une Masquerade Pro donn�e par Lasat. Un [EMAIL PROTECTED] little endian fonctionnant sous debian-mipsel.
     ;
  • resume.rfc822.org
    Un syst�me Indigo2 de SGI contenant un [EMAIL PROTECTED] big endian, 128MB RAM et assez de disques.
     ;
  • reconfig.rfc822.org
    Une Indy de SGI avec un [EMAIL PROTECTED] big endian, 64MB RAM et 18GB de disque.
    .

Contacts

Ceci est la liste de personnes qui travaillent sur le portage pour MIPS.

#include "$(ENGLISHDIR)/ports/mips/people.inc"

Listes de diffusions

Il y a plusieurs listes de diffusion concernant Linux/MIPS et sp�cialement Debian MIPS

Liens

Decstation Linux - Pages orient�es pour les utilisateurs de Decstation - Un peu d�pass�
decstation.unix-ag.org ;
Fabricant des microprocesseurs
www.mips.com ;
Le site Linux/Mips h�berg� par SGI
oss.sgi.com/mips ;
Le d�p�t des paquets RPM pour MIPS little endian de Karsten Merker
bolug.uni-bonn.de/mips/ ;
Celui de Maciej W. Rozycki
ftp.ds2.pg.gda.pl/pub/macro ;
Rustines p�rim�es pour le noyau 2.4 pour Cobalt Qube/RaQ
http://cobalt22.cobalt.com/patches/ ;
FAQ de NetBSD pour Cobalt Qube
http://www.netbsd.org/Ports/cobalt/faq.html ;
Le manuel de d�veloppement crois� pour Linux-MIPS
http://foobazco.org/~wesolows/mips-cross.html ;
Le manuel d'installation de Debian-mips pour Indy
\ http://www.linux-debian.de/howto/debian-mips-woody-install.html ;
GNU/Linux sur le Nino de Philips
http://www.cotw.com/projects/nino/port/ ;
Installer XFree86 sur SGI/Indy - Manuel/Bogues/� Faire
http://honk.physik.uni-konstanz.de/linux-mips/x/x.html ;
Plus d'information sur le mat�riel Indy/Indigo2
http://www.futuretech.vuurwerk.nl/i2sec3.html ;
Documentation sur le 79RC32332
http://www.idt.com/products/pages/Integrated_Processors-79RC32332.html ;
Documentation sur le MIPS R10000
http://www.sgi.com/processors/r10k/ ;
Explication sur le cache et le processeur I2/O2 R10k
http://mail-index.netbsd.org/port-sgimips/2000/06/29/0006.html.
#use wml::debian::template title="Portage pour MIPS -- Actualit�s" 
NOHEADER="yes"
#include "$(ENGLISHDIR)/ports/mips/menu.inc"
#use wml::debian::translation-check translation="1.12" maintainer="Thomas 
Marteau"

<define-tag news>
<preserve date news>
<set-var %attributes>
<h3><:= spokendate ("<get-var date>") :></h3>
<p><get-var news>
<restore date news>
</define-tag>

<h2>Actualit�s � propos de Debian pour MIPS</h2>

<news   date="2002-09-29"
        news="Correctifs pour l'initialisation de la console Indy sont 
        int�gr�s&nbsp;- L'actuel cvs se lance de nouveau sur IP22&nbsp;;"
        >
<news   date="2002-09-28"
        news="Le noyau issu du CVS pour les Decstation a �t� corrig� 
        (Cass� depuis fin ao�t). Cela concerne le pilote scsi dec_esp.c&nbsp;;"
        >
<news   date="2002-09-28"
        news="Nous avons une image ISO d�marrable pour SGI MIPS (IP22 
        seulement) d�sormais&nbsp;;"
        >
<news   date="2002-05-22"
        news="Les premi�res rustines pour le <i>Framebuffer</i> O2 voient le 
        jour&nbsp;- Les pixels sont au bon endroit mais pas avec la bonne 
        couleur&nbsp;;"
        >
<news   date="2002-05-11"
        news="Le correctif XSHM est dans le CVS de oss.sgi.com&nbsp;- 
        Les paquets noyau contiennent cette correction aussi&nsp;;"
        >
<news   date="2002-04-22"
        news="Premier d�marrage d'une Indy avec succ�s depuis un CD ISO9660. 
        Ceci est obtenu en simulant l'en-t�te de volume d'un tel CD. 
        Maintenant, il faut modifier le noyau pour qu'il inclut 
        les lecteurs CD iso9660 ou scsi (Seulement en tant que module)&nbsp;;"
        >
<news   date="2002-03-22"
        news="Le correctif pour la gestion de la m�moire R3k swapping fix 
        finally went into the Kernel CVS on oss.sgi.com. Bash it hard with 
        your R3k Decstation. Aussi quelques corrections pour le LK201&nbsp;- 
        Merci � Harald Koerfgen&nbsp;;"
        >
<news   date="2002-01-07"
        news="Le Cobalt Qube/RaQ est op�rationnel avec le source 2.4 du CVS  
        sur oss.sgi.com&nbsp;;"
        >
<news   date="2001-12-13"
        news="Finalement nous avons un correctif pour le probl�me 
        _disques multiples_ sur Indy et Indigo2 dans le CVS. D'autres 
        probl�mes continuent d'�tre r�v�l�s mais le source CVS du noyau 
        para�t prometteur maintenant&nbsp;;"
        >
<news   date="2001-12-03"
        news="Les disquettes de d�marrage pour SGI/Indy (MIPS) sont 
        op�rationnelles. Il n'a jamais �t� aussi facile d'installer une 
        Indy. Il suffit de mettre � disposition le fichier tfpboot.img via 
        dhcp ou tftp et voici l'installateur Debian standard&nbsp;- Merci � 
        Guido Guenther et les autres&nbsp;;"
        >
<news   date="2001-12-03"
        news="Le CVS contient les noyaux&nbsp;2.4.16 et 2.5&nbsp;- 
        Utilisez le tag <i>linux_2_4</i> pour r�cup�rer le source stable. 
        2.4.16&nbsp;(20011203) semble fonctionner sur la Decstation 5000/150 
        de Digital sans aucune rustine&nbsp;;" 
        >
<news   date="2001-09-07"
        news="<i>repeat</i> et <i>remake</i> sont � jour avec la 
        version&nbsp;2.4.5&nbsp;- OOpses dans semaphore.c l'ont 
        rendu n�cessaire&nbsp;;"
        >
<news   date="2001-07-17"
        news="<i>resume.rfc822.org</i> plante&nbsp;- Red�marrage avec le 
        2.4.5&nbsp;;"
        >
<news   date="2001-07-16"
        news="<i>reconfig.rfc822.org</i> est de nouveau op�rationnelle avec le 
        2.4.5 + loop. Le bogue ext2 de bitops.h est corrig�&nbsp;;"
        >
<news   date="2001-06-30"
        news="L'empaqueteur pour MIPS a �t� d�plac� de <i>reconfig</i> 
        vers <i>resume</i>&nbsp;- N'utilisez pas <i>resume</i> car l'activit� 
        du disque sur un ensemble de disques peut corrompre les 
        fichiers&nbsp;;"
        >
<news   date="2001-06-19"
        news="2.4.5 est rentr� dans le CVS&nbsp;- Pour l'instant, je 
        n'arrive pas � le faire fonctionner vu que ext2fs est cass�&nbsp;- 
        Le coupable semble �tre bitops.h&nbsp;;"
        >
<news   date="2001-06-04"
        news="L'empaqueteur <i>big endian</i> plante et ne d�marre pas 
        � cause de probl�mes dans le code de s�maphore&nbsp;- Il reste encore 
        � les corriger&nbsp;;"
        >
<news   date="2001-06-02"
        news="Le nouvel empaqueteur Debian pour mipsel est pr�t et travaille.
        Heureusement mipsel devrait r�cup�rer son retard tr�s vite&nbsp;;"
        >
<news   date="2001-04-12"
        news="Le nouvel empaqueteur Debian pour mips est pr�t et travaille.
        Apr�s avoir eu des probl�mes de corruption de fichier � cause des 
        soucis du pilote sgiwd concernant le DMA lors de son utilisation 
        conjointe de plusieurs disques, nous avons d� stopper <i>resume</i> 
        et faire marche arri�re. Maintenant, nous avons tout remis sur 
        <i>reconfig<i>, une Indy avec un simple disque&nbsp;;"
        >
<news   date="2001-04-06"
        news="Glibc&nbsp;2.2.2 mise � jour et la plupart des paquets pour 
        mipsel sur <i>master</i>&nbsp;;"
        >
<news   date="2001-04-04"
        news="Le noyau CVS sur oss.sgi.com est mis � jour avec la 
        version&nbsp;2.4.3."
        >
#use wml::debian::template title="Portage pour MIPS" NOHEADER="yes" #include "$(ENGLISHDIR)/ports/mips/menu.inc" #use wml::debian::translation-check translation="1.12" maintainer="Thomas Marteau"

Vue d'ensemble des syst�mes � base de MIPS

  • Decstation 5000/120,125,133

    • FabricantDigital Equipment Coporation
      Date d'annonce
      Syst�me d'exploitation natifUltrix / VMS/RISC
      MicroprocesseurR3000 20/25/33 Mhz
      M�moireSIMM propri�taire 80 pins
      384MB Max
      Emplacements d'extension3xTurbochannel
      TourDesktop
      E/S4xS�rie (Clavier/Souris)
      Parall�le
      SCSI (HD50)
      Ethernet (AUI)
      8 Bit LED
      Sp�cificit�sMicroprocesseur sur module
      StatutOp�rationnelle

  • Decstation 5000/150

    • FabricantDigital Equipment Corporation
      Date d'annonce
      Syst�me d'exploitation natifUltrix / VMS/RISC
      MicroprocesseurR4000 50Mhz
      M�moireSIMM propri�taire 80 pins
      384MB Max
      Emplacements d'extension3xTurbochannel
      TourDesktop
      E/S4xS�rie (Clavier/Souris)
      Parall�le
      SCSI (HD50)
      Ethernet (AUI)
      8 Bit LED
      Sp�cificit�sMicroprocesseur sur module
      StatutOp�rationnelle

  • SGI Professional Iris 4D/60

    • FabricantSilicon Graphics Inc.
      Date d'annonceMars 1987
      Syst�me d'exploitation natifSystem V.3
      MicroprocesseurR2000 8Mhz / R2360 FPA Board
      M�moire4 Barrettes, 12MB Max
      Emplacements d'extension
      TourProfessional Series Twin Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Professional Iris 4D/70

    • FabricantSilicon Graphics Inc.
      Date d'annonceNovembre 1987
      Syst�me d'exploitation natifIRIX 4.0.5
      MicroprocesseurR2000 12.5Mhz / R2010 FPA Board
      M�moireSIMM standard � 9 puces de 30 pins
      Emplacements d'extension
      TourProfessional Series Twin Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Professional Iris 4D/80

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR2000 16Mhz integr� R2010 FPA
      M�moireSIMM standard � 9 puces de 30 pins
      Emplacements d'extensionVME
      TourProfessional Series Twin Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Professional Iris 4D/85

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR2000 16Mhz integr� R2010 FPA
      M�moireSIMM standard � 9 puces de 30 pins
      Emplacements d'extensionVME
      TourProfessional Series Single Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Personal Iris 4D/20 / IP6

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR3000 12.5Mhz integr� FPU, 8k DCache, 16K ICache
      M�moireSIMM standard � 9 puces de 30 pins, 64MB Max
      Emplacements d'extension
      Tour
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Personal Iris 4D/25 / IP10

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR3000 20Mhz integr� FPU, 32K DCache, 64K ICache
      M�moireSIMM standard � 9 puces de 30 pins, 64MB Max
      Emplacements d'extension
      Tour
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Personal Iris 4D/30 / IP12

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR3000 30Mhz integr� FPU, 64K DCache, 64K ICache
      M�moireSIMM propri�taire 64 pins ASIC, 128M Max
      Emplacements d'extension
      Tour
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Power Series 4D/120 / IP5

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      Microprocesseur2x R2000 16.7Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Power Series 4D/210 / IP9

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR3000 25Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Power Series 4D/220 240 / IP7

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      Microprocesseur2xR3000 25Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s240 est un double module pour microprocesseur avec 2 R3000
      StatutInop�rationnelle

  • SGI Power Series 4D/280 / IP7

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      Microprocesseur8xR3000 25Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�sModule quadruple pour microprocesseur avec 2 R3000
      StatutInop�rationnelle

  • SGI Power Series 4D/310 / IP7

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR3000 33Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Power Series 4D/320 340 / IP7

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      Microprocesseur2xR3000 33Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s340 est un module double pour microprocesseur avec 2 R3000
      StatutInop�rationnelle

  • SGI Power Series 4D/380 / IP7

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      Microprocesseur8xR3000 33Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Power Series 4D/420 440 / IP15

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      Microprocesseur2xR3000 40Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s440 est un module double pour microprocesseur avec 2 R3000
      StatutInop�rationnelle

  • SGI Power Series 4D/480 / IP15

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      Microprocesseur8xR3000 40Mhz
      M�moireSIMM propri�taire 80 pins, 256M Max
      Emplacements d'extension
      TourSingle/Twin Power Series Tower
      E/S
      Sp�cificit�s
      StatutInop�rationnelle

  • SGI Indy IP22/IP24

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR4000PC 100Mhz 0/1MB L2 cache
      R4400SC 100Mhz-200Mhz 1MB L2 cache
      R4600PC 100Mhz
      R4600PC 133Mhz 0-512k L2 cache
      R5000PC 150Mhz
      R5000PC 180Mhz 512k L2 cache
      M�moireSIMM stanadard 72 pins avec parit�, 256M Max
      Emplacements d'extension3xGIO32
      TourTeal Desktop
      E/SEthernet 10Mbit AUI/RJ45
      SCSI-2 HD50
      connecteur S-Video/RCA/Indycam
      2 RS422 ports s�rie
      Parall�le
      Audio entr�e/sortie
      PS/2 Souris/Clavier
      Sp�cificit�s
      StatutOp�rationnelle

  • SGI Indigo2 IP22/IP26/IP28

    • FabricantSilicon Graphics Inc.
      Date d'annonce
      Syst�me d'exploitation natifIRIX
      MicroprocesseurR4000PC 100Mhz 1M L2 cache
      R4400 100-250Mhz 1-2M L2 cache
      R8000 75Mhz
      R10000 175-195Mhz 1M L2 cache
      M�moireSIMM standard 72 pins avec parit�, 384M Max
      Emplacements d'extensionGIO32/GIO64/EISA
      TourTeal ior purple desktop
      E/SEthernet 10Mbit AUI/RJ45
      SCSI-2 HD50
      connecteur S-Video/RCA/Indycam
      2 RS422 ports s�rie
      Parall�le
      Audio entr�e/sortie
      PS/2 Souris/Clavier
      Sp�cificit�s
      StatutOp�rationnelle

  • NEC DDB VRC 5074 Eval Board

    • FabricantNEC
      Date d'annonce
      Syst�me d'exploitation natif
      MicroprocesseurNEC VR5000
      M�moire64MB 100Mhz SDRAM
      Emplacements d'extension3 x 33Mhz 64Bit PCI
      Tour
      E/SEthernet (DS21140)
      Sp�cificit�sNEC VRC 5074 contr�leur PCI et M�moire
      StatutOp�rationnelle

  • Decstation 5400
  • Decstation 5500
  • Decstation 5800
  • Decstation 5100
  • Decstation 3100
  • Decstation 5900/2x0
  • Toshiba Pallas
  • Toshiba TopasCE
  • Toshiba JMR
  • Phillips Nino
  • Sharp Mobilon 4500
  • Algorithmics P4032
  • Algorithmics P5064
  • Algorithmics P6032
  • Siemens Nixdorf RM200
  • Siemens Nixdorf RM200C
  • Siemens Nixdorf RM300C
  • Siemens Nixdorf RM400
  • Siemens Nixdorf RM600
  • Siemens Nixdorf RW320
  • MIPS Malta
  • MIPS Atlas
  • MIPS Magnum 4000SC
  • Olivetti M700-10
  • Lasat Masquerade Pro
  • Jazz
  • Badget
  • Galileo EV96100
  • Galileo EV64120
  • Galileo GT64120
  • NEC DDB VRC 5476
  • Cobalt Cube
  • Cobalt RAQ
  • SGI Indy
  • SGI Indigo2
  • SGI Indigo
  • SGI Octane
  • SGI O2
  • SGI 2200
  • SGI Onyx
  • SGI Onxy 2
  • SGI Origin 200
  • SGI Origin 3000
  • SGI Challenge S
  • SGI Challenge DM
  • CDC Cyber 910
  • CDC Cyber 920
  • Sony Playstation 2
  • Sony RiscStation

Répondre à